A category can be defined in terms of its morphisms without mentioning objects and a topos has predicates as morphisms into the subobject classifier.