Australian Category Seminar

When is a 2-category of the form Cat(E) and for which E?

John Bourkeยท10 September 2008

To each category E with pullbacks we can construct a 2-category Cat(E) of internal categories in E, internal functors and internal natural transformations. I will discuss some 2-categorical properties which characterize such 2-categories.

Back