Cut Elimination in Categories
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory. Here it is shown that these notions, in p...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
1999, 1999
|
| Edition: | 1st ed. 1999 |
| Series: | Trends in Logic, Studia Logica Library
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 2. Functors
- 3. Natural Transformations
- 4. Adjunctions
- 5. Comonads
- 6. Cartesian Categories
- Conclusion
- References