double category
- A proarrow equipment is a double category where each arrow has a related representing proarrow and a corepresenting proarrow. Proarrow equipments are useful for synthetic category theory: categories, functors and profunctors form a proarrow equipment.
- loose monoid in a double category
- tabulator
- double graphs