Category Theory Lecture Notes for ESSLLI (PDF 133P)
Category Theory Lecture Notes for ESSLLI (PDF 133P)
Category Theory Lecture Notes for ESSLLI (PDF 133P)
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
monoidal structure.
This note covers the following topics: Preliminaries, Categories, Properties of objects
and arrows, Functors, Diagrams and naturality, Products and sums, Cartesian
closed categories, Limits and colimits, Adjoints, Triples, Toposes and
Categories with monoidal structure.
Author(s): Department of Mathematics
and Statistics,McGill University
This
note covers the following topics related to Category Theory: Categories,
Functors and Natural Transformations, subcategories, Full and Faithful Functors,
Equivalences, Comma Categories and Slice Categories, Yoneda Lemma, Grothendieck
universes, Limits and Colimits, Adjoint Functors, Adjoint Functor Theorems,
Monads, Elementary Toposes, Cartesian Closed Categories, Logic of Toposes and
Sheaves.
This book explains the following topics: Categories, functors, natural
transformations, String diagrams, Kan extensions, Algebras, coalgebras,
bialgebras, Lambda-calculus and categories.
This book emphasizes
category theory in conceptual aspects, so that category theory has come to be
viewed as a theory whose purpose is to provide a certain kind of conceptual
clarity.
Category theory, a branch of abstract
algebra, has found many applications in mathematics, logic, and computer
science. Like such fields as elementary logic and set theory, category theory
provides a basic conceptual apparatus and a collection of formal methods useful
for addressing certain kinds of commonly occurring formal and informal problems,
particularly those involving structural and functional considerations. This
course note is intended to acquaint students with these methods, and also
to encourage them to reflect on the interrelations between category theory and
the other basic formal disciplines.
This note covers the following topics related to Category Theory: Notation, Basic Definitions, Sum and Product, Adjunctions, Cartesian Closed
Categories, Algebras and Monads.
These notes are targeted to a student
with significant mathematical sophistication and a modest amount of specific
knowledge. Covered topics are: Mathematics in Categories, Constructing
Categories, Functors and Natural Transformations, Universal Mapping
Properties, Algebraic Categories, Cartesian Closed Categories, Monoidal
Categories, Enriched Category Theory, Additive and Abelian Categories,
2-Categories and Fibered Categories.
This note
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 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.
This note
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
if required.
Author(s): Graham
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.