BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Fundamental Theorem of Category Theory - Filip Bar
DTSTART:20120223T140000Z
DTEND:20120223T150000Z
UID:TALK36659@talks.cam.ac.uk
CONTACT:Guilherme Lima de Carvalho e Silva
DESCRIPTION:This talk will consist of three parts. In the first part I wil
 l formulate and proof the 'fundamental theorem' as a form of generalized t
 ensor-hom adjunction. In the second part I will justify why it is 'fundame
 ntal' by discussing some of its important applications. This  will involve
  the adjunction of geometric realization of simplicial sets in algebraic t
 opology\, the equivalence of sheaves on a topological space X and étale s
 paces over X and applications in the theory of geometric morphisms. In the
  third part I will take the representation theoretic point of view on func
 tors and explain\, why the fundamental theorem is indeed a tensor-hom adju
 nction in this generalized sense.\n\n
LOCATION:CMS\, MR15
END:VEVENT
END:VCALENDAR