1. valuation algebras
  2. matroids
  3. sheaves
  4. fibrations
  5. independence
  6. variation
  7. toposes
  8. labelled fibered deduction systems
  9. bayes nets
  10. locality
  11. Vickers
  12. Barwise & Seligman
  13. Origin Of Objects
  14. modality
  15. Goguen
  16. Lawvere
  17. Udday Reddy
  18. Reynolds
  19. Grothendieck topology
  20. Taming Logic
  21. Dividing Logic
  22. bunched implication
  23. Yellamraju V. Srinivas
  24. distributors/profunctors
  25. linear spaces
  26. graphs
  27. Oege de Moor
  28. allegories