1. Triples, algebras and cohomology;Beck,1967
2. Sheaves and logic;Fourman,1979
3. Symmetry and Cauchy completion of quantaloid-enriched categories;Heymans;Theory Appl. Categ.,2011
4. Monoidal Topology: A Categorical Approach to Order, Metric, and Topology,2014
5. M-valued sets and sheaves over integral commutative cl-monoids;Höhle,1992