Algebraic aspects of topos theory
J. Lambek, P. J. Scott (1981)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “Topoi over graphs”
Algebraic aspects of topos theory
-completeness is seldom monadic over graphs.
Adámek, Jiří, Kelly, G.M. (2000)
Theory and Applications of Categories [electronic only]
Similarity:
Gaps and dualities in Heyting categories
Jaroslav Nešetřil, Aleš Pultr, Claude Tardif (2007)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We present an algebraic treatment of the correspondence of gaps and dualities in partial ordered classes induced by the morphism structures of certain categories which we call Heyting (such are for instance all cartesian closed categories, but there are other important examples). This allows to extend the results of [14] to a wide range of more general structures. Also, we introduce a notion of combined dualities and discuss the relation of their structure to that of the plain ones. ...
Predicative algebraic set theory.
Awodey, Steve, Warren, Michael A. (2005)
Theory and Applications of Categories [electronic only]
Similarity:
When is a cogenerator in a topos ?
Francis Borceux (1975)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
An Introduction to Adjunction
Kosta Došen (1998)
Zbornik Radova
Similarity:
Categories with slicing.
Palm, Thorsten (2009)
Theory and Applications of Categories [electronic only]
Similarity:
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.