Internal 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.
A (small) category has a set of objects and a set of morphisms, but the definition of a category makes sense in a more general universe than the category of sets: categories can be described internally in any category with pullbacks. I will give some examples of internal categories and functors, and look at how concepts like limits, presheaves, fibrations and the Yoneda lemma extend to the internal setting.
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.
