Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: A Gentle Introduction to Category Theory (the calculational approach)
Автор: Fokkinga M.
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.