Enriched Sets and Higher Categories
Category Theory
2019-03-19 v1
Abstract
We introduce the notion of an enriched set, as an abstraction of enriched categories, and a category of enriched sets. The set of enriched sets is itself described as a set enriched over the category of enriched sets. We introduce a method for the construction of sets enriched over the set of enriched sets from a given enriched set with some addition data, and for "functors" from such enriched sets as should thereby arise to the enriched set of enriched sets.
Keywords
Cite
@article{arxiv.1903.06982,
title = {Enriched Sets and Higher Categories},
author = {Bradley M. Willocks},
journal= {arXiv preprint arXiv:1903.06982},
year = {2019}
}
Comments
Half of this work comes directly from the author's thesis, elsewhere on the arXiv. This is the result of the preparation for the submission to journals of some of the material therein. arXiv admin note: substantial text overlap with arXiv:1710.07752