Morphisms on structured sets

Functors

Universal element

Posets and lattices

Contravariance and duality