Categories for Me, and You?
Category Theory
2019-10-16 v2 Logic in Computer Science
Abstract
A non-self-contained gathering of notes on category theory, including the definition of locally cartesian closed category, of the cartesian structure in slice categories, or of the pseudo-cartesian structure on Eilenberg-Moore categories. References and proofs are provided, sometimes, to my knowledge, for the first time.
Keywords
Cite
@article{arxiv.1910.05172,
title = {Categories for Me, and You?},
author = {Clément Aubert},
journal= {arXiv preprint arXiv:1910.05172},
year = {2019}
}