Introduction

Kittenlab lecture notes

Introduction
Lecture 1: Formal Math
Lecture 2: The Category Theory of Finite Sets
Lecture 3: Category Theory
Lecture 4: Functors
Lecture 5: A Variety of Categories and Functors
Lecture 6: Path categories and functors as data structures
Lecture 7: Natural Transformations
Lecture 8: Universal Mapping Properties
Lecture 9: Colimits
Lecture 10: Representables revisited
Lecture 11: Adding and squishing
Lecture 12: That’s Yoneda, Babe
Lecture 13: Products and typed products
Lecture 14: Relations
Lecture 15: Cospans
References

Table of contents

Introduction

Kittenlab lecture notes

Author

Owen Lynch

Published

November 26, 2022

Introduction

This is a Quarto book.

To learn more about Quarto books visit https://quarto.org/docs/books.

Lecture 1: Formal Math