Displaying similar documents to “The maximality of the typed lambda calculus and of cartesian closed categories”

Adhesive and quasiadhesive categories

Stephen Lack, Paweł Sobociński (2010)

RAIRO - Theoretical Informatics and 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.

Ordered categories with involution

M. S. Calenko, V. B. Gisin, D. A. Raikov

Similarity:

CONTENTSIntroduction..........................................................................................................................................................................5§1. Categories with involution, ordered categories and ordered categories with involution.................................................8§2. Types of morphisms regularity in an OI-category. Functional and difunctional morphisms...........................................17§3. Equivalences and coequivalences....