ENGLISH

Cut elimination in categories

By Došen , Kosta

Book information

Publisher
Kluwer Academic
Year
1999
ISBN
9780792357209, 0-7923-5720-5
Language
english
Format
DJVU
Filesize
1 MB (1492802 bytes)
Series
Trends in logic 6
Pages
229\245
Topic
Mathematics Algebra
Library
kolxo3
Time added
2019-04-25 18:00:00
Elimination.;Proof theory.;Categories (Mathematics

Description

Content: Preface. Introduction. 1. Categories. 2. Functors. 3. Natural Transformations. 4. Adjunctions. 5. Comonads. 6. Cartesian Categories. Conclusion. References. Index.

Similar books