使用类表达范畴概念

摘要：

我们研究使用类来制定几个范畴概念。这导致了两个建议：一个显式的结构与子对象的工作，和一个层次结构的$k$类。我们将后者应用于普通和高阶范畴。

英文摘要：

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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。