Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added mentioning of the example of the 2-category of categories/groupoids internal to a cartesian closed 1-category,
with pointer to:
These authors suggest (p. 3) that the cartesian closure of the 2-category of categories internal to a cartesian closed 1-categoy is discussed in (a) Bastiani & Ehresmann and in (b) Johnstone’s “Topos theory”.
I have checked chapter 2 of (b), but don’t see the discussion there. In fact it says explicitly that 2-categorical aspects are being ignored and relegated to Gray’s non-existent Vol II.
(I have also opened (a) again, but can’t make myself read this at any length.)
1 to 3 of 3