Mathematics Books Category Theory Books

An introduction to Category Theory

An introduction to Category Theory

An introduction to Category Theory

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.

Author(s):

s436 Pages
Similar Books
Category Theory A Programming Language Oriented Introduction

Category Theory A Programming Language Oriented Introduction

This book explains the following topics: Categories, functors, natural transformations, String diagrams, Kan extensions, Algebras, coalgebras, bialgebras, Lambda-calculus and categories.

s145 Pages
Category Theory by Prof. Dr. B. Pareigis

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.

s90 Pages
Category Theory for Scientists

Category Theory for Scientists

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.

sNA Pages
Category Theory for Program Construction by Calculation (PDF 122P)

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.

s122 Pages
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.

s133 Pages
Brief notes on category theory (PDF 36P)

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.

s36 Pages
Introduction to The Theory of Categories

Introduction to The Theory of Categories

Currently this section contains no detailed description for the page, will update this page soon.

sNA Pages
Higher Dimensional   Categories an illustrated guide book

Higher Dimensional Categories an illustrated guide book

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.

s182 Pages
Higher Operads, Higher Categories

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.

sNA Pages
Mixed Motives

Mixed Motives

Currently this section contains no detailed description for the page, will update this page soon.

sNA Pages
Category Theory Lecture Notes (PDF 61P)

Category Theory Lecture Notes (PDF 61P)

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.

s61 Pages
Introduction to Category Theory

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.

sNA Pages
Category Theory Steve     Awodey (PDF 314P)

Category Theory Steve Awodey (PDF 314P)

Currently this section contains no detailed description for the page, will update this page soon.

sNA Pages
Basic     Category Theory (PDF 88p)

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.

s88 Pages