Displaying similar documents to “Double categories, 2-categories, thin structures and connections.”

Adhesive and quasiadhesive categories

Stephen Lack, Paweł Sobociński (2005)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved, as well as quasiadhesive categories which restrict attention to regular monomorphisms. Many examples of graphical structures used in computer science are shown to be examples of adhesive and quasiadhesive categories. Double-pushout graph rewriting generalizes well to rewriting on arbitrary adhesive and quasiadhesive categories.

On the size of categories.

Freyd, Peter, Street, Ross (1995)

Theory and Applications of Categories [electronic only]

Similarity:

The Chu construction.

Barr, Michael (1996)

Theory and Applications of Categories [electronic only]

Similarity: