The internal and external aspect of logic and set theory in elementary topoi
Gerhard Osius (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “Interpreting set theory in the endomorphism semi-group of a free algebra or in a category”
The internal and external aspect of logic and set theory in elementary topoi
Lawvere's elementary theories and polyadic and cylindric algebras
Aubert Daigenault (1970)
Fundamenta Mathematicae
Similarity:
Essentially equational categories
J. Adámek, H. Herrlich, J. Rosický (1988)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
On covarieties of coalgebras
Michal Marvan (1985)
Archivum Mathematicum
Similarity:
Words, free algebras, and coequalizers
Andreas Blass (1983)
Fundamenta Mathematicae
Similarity:
Exploring the gap between linear and classical logic.
Lamarche, François (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Categories of models of infinitary Horn theories
Jiří Rosický (1978)
Archivum Mathematicum
Similarity: