The Heyting doctrines
Petr Kůrka (1972)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “When the product-preserving functors preserve limits”
The Heyting doctrines
Limits in categories and limit-preserving functors
Věra Trnková (1966)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Morita equivalences of enriched categories
Harald Lindner (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Natural anadeses and catadeses
Dominique Bourn (1973)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Multiple functors. III. The cartesian closed category
Andrée Ehresmann, Charles Ehresmann (1978)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: