An Introduction to Adjunction
Kosta Došen (1998)
Zbornik Radova
Similarity:
Displaying similar documents to “Deductive systems and categories.”
An Introduction to Adjunction
Simultaneous representations in discrete structures
Věra Trnková (1986)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
-completeness is seldom monadic over graphs.
Adámek, Jiří, Kelly, G.M. (2000)
Theory and Applications of Categories [electronic only]
Similarity:
A graph structure over the category of sets and partial functions
Yoshihiro Mizoguchi (1993)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
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:
Concerning binding categories
Jiří Rosický (1975)
Czechoslovak Mathematical Journal
Similarity:
Complete theories in -categories
Renato Betti, Marco Grandis (1988)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Categories with slicing.
Palm, Thorsten (2009)
Theory and Applications of Categories [electronic only]
Similarity: