Contexts
Projections & liftings act as adjoints leading to shifting contexts.
Locales
Point-free topology with a lattice of opens rather than points
Quantales
Blends properties of partially ordered sets and semigroups
Inverse Semigroup
Algebraic models for partial symmetries
Restriction Categories
Categories of Partial Maps
Bi-categories
Weakened 2-Category