Lax naturality through enrichment
- 14 October 1996
- journal article
- Published by Elsevier in Journal of Pure and Applied Algebra
- Vol. 112 (1) , 53-72
- https://doi.org/10.1016/0022-4049(95)00136-0
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Enrichment through variationJournal of Pure and Applied Algebra, 1997
- Coherence for tricategoriesMemoirs of the American Mathematical Society, 1995
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monadsJournal of Pure and Applied Algebra, 1993
- A formalism for the specification of essentially-algebraic structures in 2-categoriesMathematical Structures in Computer Science, 1992
- A presentation of topoi as algebraic relative to categories or graphsJournal of Algebra, 1983
- ENRICHED CATEGORIES AND COHOMOLOGYQuaestiones Mathematicae, 1983
- Hierarchical program specification and verification ? a many-sorted logical approachActa Informatica, 1980
- Proof of correctness of data representationsActa Informatica, 1972
- Program development by stepwise refinementCommunications of the ACM, 1971