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