Abstract Algebra Algebra Algebraic Geometry Algebraic Topology Applied Mathematics Arithmetic Geometry Basic Algebra Basic Mathematics Calculus Category Theory Classical Analysis Combinatorics Commutative Algebra Complex Algebra Complex Analysis Differential Algebra Differential Analysis Differential Calculus Differential Equations Differential Geometry Differential Topology Discrete Mathematics Elliptic Curves Fourier Analysis Functional Analysis Fractals Fractional Calculus Geometric Algebra Geometry Geometric Topology Groups Theory Graph Theory Harmonic Analysis Higher Algebra History of Mathematics Homological Algebra Integral Calculus K-theory Lie Algebra Linear Algebra Mathematical Analysis Mathematical Series Modern Geometry Multivairable Calculus Number Theory Numerical Analysis Probability Theory Real Analysis Rings and Fileds Riemannian Geometry Theorems in Calculus Topology Trigonometry Set Theory Constants & Numerical Sequences
Higher Operads, Higher Categories
Higher 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.
Author(s): Tom Leinster
NA Pages 
Category Theory Lecture Notes by McGill University
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
133 Pages
Category Theory in Context by Emily Riehl
This PDF book covers the following topics related to Category Theory : Categories, Functors, Natural Transformations, Universal Properties, Representability, and the Yoneda Lemma, Limits and Colimits, Adjunctions, Monads and their Algebras, All Concepts are Kan Extensions.
Author(s): Emily Riehl
258 Pages
Categorical homotopy theory by Emily Riehl
This PDF book covers the following topics related to Category Theory : All concepts are Kan extensions, Derived functors via deformations, Basic concepts of enriched category theory, The unreasonably effective bar construction, Homotopy limits and colimits: the practice, Weighted limits and colimits, Categorical tools for homotopy limit computations, Weighted homotopy limits and colimits, Derived enrichment, Weak factorization systems in model categories, Algebraic perspectives on the small object argument, Enriched factorizations and enriched lifting properties, A brief tour of Reedy category theory,. Preliminaries on quasi-categories, Simplicial categories and homotopy coherence, Isomorphisms in quasi-categories, A sampling of 2-categorical aspects of quasi-category theory.
Author(s): Emily Riehl
292 Pages
Category Theory by Prof. Dr. B. Pareigis
This book 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.
Author(s): Prof. Dr. B. Pareigis
90 Pages
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.
Author(s): D.E. Rydeheard and R.M. Burstal
263 Pages
Category Theory for Program Construction by Calculation (PDF 122P)
This note covers the following topics related to Category Theory: Notation, Basic Definitions, Sum and Product, Adjunctions, Cartesian Closed Categories, Algebras and Monads.
Author(s): Lambert Meertens
122 Pages
Notes on Category Theory (PDF 416P)
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.
Author(s): Robert L. Knighten
416 Pages
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.
Author(s): Michael Barr and Charles Wells
133 Pages
Brief notes on category theory (PDF 36P)
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.
Author(s): Prakash Panangaden
36 Pages
Currently this section contains no detailed description for the page, will update this page soon.
Author(s): NA
NA Pages
Introduction to Category Theory
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
NA Pages
Basic Category Theory (PDF 88p)
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.
Author(s): Jaap van Oosten
88 PagesAdvertisement
