Small-limit preservation is insufficient for the large elements-colimit criterion

ID: small-limit-preservation-is-insufficient-for-the-large-elements-colimit-criterion

Let be the ordered category of all ordinals with an added greatest object . The categorical presheaf with at ordinals and preserves every small categorical limit: a small supremum is an ordinal unless its diagram contains . Its category of elements consists of all ordinals, and their projection has the large colimit . Nevertheless is not representable: an ordinal representer has bounded support, while the representer has a nonempty value at . Thus preservation must include the possibly large opposite elements diagram. The dual functor also disproves the comma-projection criterion for a right adjoint under small-colimit preservation alone.

New to topics? Read the docs here!