- valuation algebras
- matroids
- sheaves
- fibrations
- independence
- variation
- toposes
- labelled fibered deduction systems
- bayes nets
- locality
- Vickers
- Barwise & Seligman
- Origin Of Objects
- modality
- Goguen
- Lawvere
- Udday Reddy
- Reynolds
- Grothendieck topology
- Taming Logic
- Dividing Logic
- bunched implication
- Yellamraju V. Srinivas
- distributors/profunctors
- linear spaces
- graphs
- Oege de Moor
- allegories