Collagories: relation-algebraic reasoning for gluing constructions
scientific article; zbMATH DE number 5925508