Deductive systems and categories.
Došen, Kosta (1998)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Displaying similar documents to “A graph structure over the category of sets and partial functions”
Deductive systems and categories.
Simultaneous representations in discrete structures
Věra Trnková (1986)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Categorical constructions in graph theory.
Bumby, Richard T., Latch, Dana May (1986)
International Journal of Mathematics and Mathematical Sciences
Similarity:
An Introduction to Adjunction
Kosta Došen (1998)
Zbornik Radova
Similarity:
On the monadicity over graphs of categories with limits
G. M. Kelly, I. J. Le Creurer (1997)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Rewriting on cyclic structures : equivalence between the operational and the categorical description
Andrea Corradini, Fabio Gadducci (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
-completeness is seldom monadic over graphs.
Adámek, Jiří, Kelly, G.M. (2000)
Theory and Applications of Categories [electronic only]
Similarity:
Isomorphisms and splitting of idempotents in semicategories
Lutz Schröder (2000)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Generic commutative separable algebras and cospans of graphs.
Rosebrugh, R., Sabadini, N., Walters, R.F.C. (2005)
Theory and Applications of Categories [electronic only]
Similarity: