Recognition: unknown
Formulating Categorical Concepts using Classes
classification
🧮 math.CT
keywords
classescategoricalapplycategoriesconceptsexamineexplicitformulate
read the original 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 $k$-classes. We apply the latter to both ordinary and higher categories.
This paper has not been read by Pith yet.
Forward citations
Cited by 1 Pith paper
-
A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems
A dedicated global model structure for K-linear ∞-local systems is constructed via simplicial chain complexes, monoidal for base 1-types under the external tensor product.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.