Book123

Study Category Theory (Oxford Logic Guides)

Category Theory (Oxford Logic Guides)Oxford University Press, USA (2006-07-03) | ISBN: 0198568614 | 272 Pages | 1 MB | PDFSeveral years ago I came across an on-line .pdf format of Awodey's manuscript while trying to find a text on Category ...

Study Basic Category Theory for Computer Scientists

Benjamin C. Pierce, "Basic Category Theory for Computer Scientists"Massachusetts Institute of Technology | ISBN: 0262660717 | 1991 | 114 pages | DJV | 5.5 MBTheoretical computer science has now undergone several decades of development. The ...

Science/Engineering Category Theory at Work

H. Herrlich and H.-E. Porst “Category Theory at Work" Heldermann Verlag | 1991 | ISBN: 3885382180 | 395 pages | Djvu | 4,41 MB The purpose of this book is to serve as a text for a seminar in applied Category Theory. The treatise contai ...

Science/Engineering Steve Awodey - Category Theory (Repost)

Steve Awodey - Category TheoryOxford University Press | 2006 | ISBN: 0198568614 | Pages: 272 | PDF | 5.21 MBThis text and reference book on Category Theory, a branch of abstract algebra, is aimed not only at students of Mathematics, but als ...

Nonfiction Basic Concepts of Enriched Category Theory

Although numerous contributions from divers authors have brought enriched category theory to a developed state, there is still no connected account of the theory, or even of a substantial part of it. The present book is designed to supply t ...

Nonfiction Computational Category Theory

This book is an account of a project in which basic constructions of category theory are expressed as computer programs. The programs are written in a functional programming language, called ML, and have been executed on examples. The autho ...