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 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 ...

Nonfiction A Gentle Introduction to Category Theory: the calculational approach

In these notes we present the important notions from category theory. The intention is to provide a fairly good skill in manipulating with those concepts formally. This text differs from most other introductions to category theory in the ca ...