Categories in categories, and size matters

Ross Street (Invited Contribution)


We look again at the Yoneda structures arising on internal categories from internal full subcategories in a category $\CC$.
We examine the relationship between a generalised Yoneda lemma and the descent construction.
Application to $\CC = \mathrm{Cat}$ gives results on double categories and 2-categories.


Copyright © 2020 Department of Mathematics Macquarie University