University of Cambridge > Talks.cam > Junior Category Theory Seminar > The Fundamental Theorem of Category Theory

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

The Fundamental Theorem of Category Theory

Download to your calendar using vCal

If you have a question about this talk, please contact Guilherme Lima de Carvalho e Silva .

This talk will consist of three parts. In the first part I will formulate and proof the ‘fundamental theorem’ as a form of generalized tensor-hom adjunction. In the second part I will justify why it is ‘fundamental’ by discussing some of its important applications. This will involve the adjunction of geometric realization of simplicial sets in algebraic topology, the equivalence of sheaves on a topological space X and étale spaces over X and applications in the theory of geometric morphisms. In the third part I will take the representation theoretic point of view on functors and explain, why the fundamental theorem is indeed a tensor-hom adjunction in this generalized sense.

This talk is part of the Junior Category Theory Seminar series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

BAS Seminar Room 2 and Zoom Average on weekdays: 8927.41803279 kWh DELETED

Other talks

Tea and Coffee Break Title to be confirmed Secrets of the Surface: The Mathematical Vision of Maryam Mirzakhani ( EDI Film Screening) Scientific Steering Committee meeting Talk TBC Shape modes of CP^1 vortices
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity