Many-variable functorial calculus. I.
- 1 January 1972
- book chapter
- Published by Springer Nature in Lecture Notes in Mathematics
- p. 66-105
- https://doi.org/10.1007/bfb0059556
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Coherence in closed categoriesJournal of Pure and Applied Algebra, 1971
- The categorical comprehension schemePublished by Springer Nature ,1969
- Coherence of adjoints, associativities, and identitiesArchiv der Mathematik, 1968
- Functors between tensored categoriesInventiones Mathematicae, 1966
- A generalization of the functorial calculusJournal of Algebra, 1966
- Closed CategoriesPublished by Springer Nature ,1966
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963