Formulating Categorical Concepts using Classes
Category Theory
2018-07-27 v4
Abstract
We examine the use of classes to formulate several categorical notions. This leads to two proposals: an explicit structure for working with subobjects, and a hierarchy of -classes. We apply the latter to both ordinary and higher categories.
Keywords
Cite
@article{arxiv.1801.08528,
title = {Formulating Categorical Concepts using Classes},
author = {Paul Blain Levy},
journal= {arXiv preprint arXiv:1801.08528},
year = {2018}
}