Coherence in categories
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in mathematics
281 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Autre contribution : S. Mac Lane (co-auteur) Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Coherence in categories, G. M. Kelly, M. Laplaza, G. Lewis... [et al.], 1972, Berlin [etc.], Springer-Verlag, 1 vol. (VI-235 p.), Lecture notes in mathematics, 3-540-05963-6 • Coherence in Categories, Texte imprimé, 9783662214985 |
Inhaltsangabe:
- Closed coherence for a natural transformation
- Coherence for distributivity
- Many-variable functorial calculus. I.
- An abstract approach to coherence
- Coherence for a closed functor
- A cut-elimination theorem
- A new result of coherence for distributivity.