Predicative algebraic set theory.
Awodey, Steve, Warren, Michael A. (2005)
Theory and Applications of Categories [electronic only]
Similarity:
Displaying similar documents to “An elementary characterization of the category of relational systems”
Predicative algebraic set theory.
Abstract pro arrows I
R. J. Wood (1982)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Least and largest initial completions. I.
Jiří Adámek, Horst Herrlich, George E. Strecker (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
On extensions of full embeddings and binding categories
Jiří Rosický (1974)
Commentationes Mathematicae Universitatis Carolinae
Similarity: