A Gentle Introduction to Category Theory: the calculational approach
by Maarten M. Fokkinga
Publisher: University of Twente 1994
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.
Download or read it online for free here:
Download link
(390KB, PDF)
Similar books
Combinatorics and Algebra of Tensor Calculus
by Sen Hu, Xuexing Lu, Yu Ye - arXiv
In this paper, we reveal the combinatorial nature of tensor calculus for strict tensor categories and show that there exists a monad which is described by the coarse-graining of graphs and characterizes the algebraic nature of tensor calculus.
(6613 views)
by Sen Hu, Xuexing Lu, Yu Ye - arXiv
In this paper, we reveal the combinatorial nature of tensor calculus for strict tensor categories and show that there exists a monad which is described by the coarse-graining of graphs and characterizes the algebraic nature of tensor calculus.
(6613 views)
Category Theory Lecture Notes
by Michael Barr, Charles Wells
Categories originally arose in mathematics out of the need of a formalism to describe the passage from one type of mathematical structure to another. These notes form a short summary of some major topics in category theory.
(12202 views)
by Michael Barr, Charles Wells
Categories originally arose in mathematics out of the need of a formalism to describe the passage from one type of mathematical structure to another. These notes form a short summary of some major topics in category theory.
(12202 views)
Higher-Dimensional Categories: an illustrated guide book
by Eugenia Cheng, Aaron Lauda - University of Sheffield
This work gives an explanatory introduction to various definitions of higher-dimensional category. The emphasis is on ideas rather than formalities; the aim is to shed light on the formalities by emphasizing the intuitions that lead there.
(13620 views)
by Eugenia Cheng, Aaron Lauda - University of Sheffield
This work gives an explanatory introduction to various definitions of higher-dimensional category. The emphasis is on ideas rather than formalities; the aim is to shed light on the formalities by emphasizing the intuitions that lead there.
(13620 views)
Basic Concepts of Enriched Category Theory
by Max Kelly - Cambridge University Press
The book presents a selfcontained account of basic category theory, assuming as prior knowledge only the most elementary categorical concepts. It is designed to supply a connected account of the theory, or at least of a substantial part of it.
(13683 views)
by Max Kelly - Cambridge University Press
The book presents a selfcontained account of basic category theory, assuming as prior knowledge only the most elementary categorical concepts. It is designed to supply a connected account of the theory, or at least of a substantial part of it.
(13683 views)