Australian Category Seminar

Internal categories

Ross Streetยท3 June 1998

The 2-category of categories in a cartesian closed, locally presentable category was discussed. In particular, we looked at the construction of pointwise Kan extensions from simple cases and at the Yoneda structure arising from the gross internal full subcategory.

Back