Category Theory: A Programming Language Oriented Introduction
Overview & Synopsis
This book explains the following topics: Categories, functors, natural transformations, String diagrams, Kan extensions, Algebras, coalgebras, bialgebras, Lambda-calculus and categories.
Indexed from repository: FreeComputerBooks.com
(
freecomputerbooks.com)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Category Theory: A Programming Language Oriented Introduction |
|---|---|
| Author / Organization | Pierre-Louis Curien |
| Subject & Discipline | Category Theory, Theory of Programming Languages, Functional Programming, Compiler Construction, Computer and Programming Languages |
| Categories | Category Theory |
| Resource Verification | ✓ Verified Direct PDF Available |
| Alternative Mirrors & Links | |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Reported File Size | 1718.5 KB (1,759,792 bytes) |
| Language | ENGLISH |
| Catalog ID | DOC-65021 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |