The category of categories with pullbacks is cartesian closed
arXiv:0904.2486
Abstract
We show that the category of categories with pullbacks and pullback preserving functors is cartesian closed.
5 pages
arXiv:0904.2486
We show that the category of categories with pullbacks and pullback preserving functors is cartesian closed.
5 pages