Partial toposes.
Bénabou, Jean, Streicher, Thomas (2003)
Theory and Applications of Categories [electronic only]
Similarity:
Displaying similar documents to “Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman”
Partial toposes.
The maximality of the typed lambda calculus and of cartesian closed categories
Kosta Došen, Zoran Petrić (2000)
Publications de l'Institut Mathématique
Similarity:
On some adjunctions between the categories of adjunction-morphisms and monad-morphisms
Andrzej Kurpiel, Józef Słomiński (1980)
Colloquium Mathematicae
Similarity:
On saturated classes of morphisms.
Casacuberta, Carles, Frei, Armin (2000)
Theory and Applications of Categories [electronic only]
Similarity:
From fibre bundles to categories
Andrée Charles Ehresmann (1984)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
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.