The Fundamental Theorem of Category Theory
Add to your list(s)
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 tensorhom 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 tensorhom 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 exdirectory lists are not shown.
