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: Higher Operads, Higher CategoriesHigher Operads, Higher Categories
by - arXiv
Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from topology, quantum algebra, mathematical physics, logic, and computer science.
(8088 views)
Book cover: Categories and Homological AlgebraCategories and Homological Algebra
by - UPMC
These notes introduce the language of categories and present the basic notions of homological algebra, first from an elementary point of view, next with a more sophisticated approach, with the introduction of triangulated and derived categories.
(5932 views)
Book cover: Higher AlgebraHigher Algebra
by - Harvard University
Contents: Stable infinite-Categories; infinite-Operads; Algebras and Modules over infinte-Operads; Associative Algebras and Their Modules; Little Cubes and Factorizable Sheaves; Algebraic Structures on infinite-Categories; and more.
(10758 views)
Book cover: An Introduction to Category Theory in Four Easy MovementsAn Introduction to Category Theory in Four Easy Movements
by - Manchester University
Notes for a course offered as part of the MSc. in Mathematical Logic. From the table of contents: Development and exercises; Functors and natural transformations; Limits and colimits, a universal solution; Cartesian closed categories.
(7807 views)