Logo

A Gentle Introduction to Category Theory: the calculational approach

A Gentle Introduction to Category Theory: the calculational approach
by

Publisher: University of Twente
Number of pages: 80

Description:
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 calculational style of the proofs, the restriction to applications within algorithmics, and the omission of many additional concepts and facts that I consider not helpful in a first introduction to category theory.

Home page url

Download or read it online for free here:
Download link
(390KB, PDF)

Similar books

Book cover: Categories, Types, and StructuresCategories, Types, and Structures
by - MIT Press
Here is an introduction to category theory for the working computer scientist. It is a self-contained introduction to general category theory and the mathematical structures that constitute the theoretical background.
(11554 views)
Book cover: Banach Modules and Functors on Categories of Banach SpacesBanach Modules and Functors on Categories of Banach Spaces
by - Marcel Dekker Inc
This book is the final outgrowth of a sequence of seminars about functors on categories of Banach spaces (held 1971 - 1975) and several doctoral dissertations. It has been written for readers with a general background in functional analysis.
(5174 views)
Book cover: Seminar on Triples and Categorical Homology TheorySeminar on Triples and Categorical Homology Theory
by - Springer
This volume concentrates a) on the concept of 'triple' or standard construction with special reference to the associated 'algebras', and b) on homology theories in general categories, based upon triples and simplicial methods.
(6701 views)
Book cover: Categories and ModulesCategories and Modules
by - viXra.org
Modules and morphisms among them subsume categories and functors and provide more general framework to explore the theory of structures. In this book we generalize the basic notions and results of category theory using this framework of modules.
(3051 views)