Locally Cartesian Closed Categories
Category Theory
2022-02-10 v1
Abstract
This note explains how dependent sums and products are interpreted by adjoints of the base change functor in a locally cartesian closed category. An effort is made to unpack all the definitions so as to make the concepts more transparent to new learners.
Cite
@article{arxiv.2202.04543,
title = {Locally Cartesian Closed Categories},
author = {Xu Huang},
journal= {arXiv preprint arXiv:2202.04543},
year = {2022}
}
Comments
14 pages