The contravariant parts functor
1. Parts and stable conditions
The existence of map objects is already a very powerful (and very useful) property that a category might have. But even stronger properties are realizable; for example, the categories /X might themselves have map objects. The concept of part (or subobject) in might be representable ...