Collagories: Relation-algebraic reasoning for gluing constructions

Wolfram Kahl. Collagories: Relation-algebraic reasoning for gluing constructions. Journal of Logic and Algebraic Programming, 80(6):297-338, 2011. [doi]

Abstract

Abstract is missing.