The book is aimed primarily at the beginning graduate
student.It gives the de nition of this notion, goes through the various
associated gadgetry such as functors, natural transformations, limits and
colimits, and then explains adjunctions.
explains the following topics related to Category Theory:Foundations, Graphs,
Monoids, Categories, Constructions on categories, Functors, Special types of
functors, Natural transformations, Representable functors and the Yoneda Lemma,
Terminal and initial objects, The extension principle, Isomorphisms,
Monomorphisms and epimorphisms, Products, Adjoint functors and monads.
Purpose of this course note
is to prove that category theory is a powerful language for understanding and
formalizing common scientific models. The power of the language will be tested
by its ability to penetrate into taken-for-granted ideas, either by exposing
existing weaknesses or flaws in our understanding, or by highlighting hidden
commonalities across scientific fields.
This note covers the following topics related to
Category Theory: Functional programming languages as categories, Mathematical structures as
categories, Categories of sets with structure, Categories of algebraic
structures, Constructions on categories, Properties of objects and arrows,
Functors, Diagrams and naturality, Products and sums, Cartesian closed
categories, Limits and colimits, Adjoints, Triples, Toposes, Categories with
explains the following topics related to Category Theory: Duality, Universal and
couniversal properties, Limits and colimits, Biproducts in Vect and Rel,
Functors, Natural transformations, Yoneda'a Lemma, Adjoint Functors, Cartesian
Closed Categories, The Curry-Howard-Lambek Isomorphism, Induction and
Coinduction, Stream programming examples and Monads.
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 emphasising the intuitions that
lead there. Covered topics are: Penon, Batanin and Leinster, Opetopic,
Tamsamani and Simpson, Trimble and May.
dimensional category theory is the study of n categories, operads, braided
monoidal categories, and other such exotic structures. It draws its
inspiration from areas as diverse as topology, quantum algebra, mathematical
physics, logic, and theoretical computer science. This is the first book on
the subject and lays its foundations.
This note covers the following topics: Universal Problems, Basic Notions, Universality, Natural
Transformations and Functor Categories, Colimits, Duality and LKan
Extensions imits, Adjunctions, Preservation of Limits and Colimits, Monads,
Lawvere Theories, Cartesian Closed Categories, Variable Sets and Yoneda
Lemma and 2-Categories.
teaches the basics of category theory, in a way that is accessible and
relevant to computer scientists. The emphasis is on gaining a good
understanding the basic definitions, examples, and techniques, so that
students are equipped for further study on their own of more advanced topics
Hutton, School of Computer Science, University of Nottingham
This note covers the following topics: Categories and Functors, Natural transformations,
Examples of natural transformations, Equivalence of categories, cones and
limits, Limits by products and equalizers, Colimits, A little piece of
categorical logic, The logic of regular categories.