Work

Enriched Sets and Higher Categories

Year: 2019
Type: preprint
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.
Language: English
Open Access status: green
OpenAlex ID: W2921950447
Cites: 10
Cited by:
Related to: 10