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