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.

Articles by others on the same topic (0)

There are currently no matching articles.