论文标题
完整的内部类别
Complete internal categories
论文作者
论文摘要
内部类别具有极限和完整性的概念，如有效的Topos的背景下最初提出的。本文在一般环境中列出了内部完整性的理论，阐明了极限和完整性的定义的细节，并阐明了一些细微之处。值得注意的是，完整的内部类别也是合并的，并具有适当的伴奏函子定理的版本。这种结果被理解为内部类别内在较小的后果。
Internal categories feature notions of limit and completeness, as originally proposed in the context of the effective topos. This paper sets out the theory of internal completeness in a general context, spelling out the details of the definitions of limit and completeness and clarifying some subtleties. Remarkably, complete internal categories are also cocomplete and feature a suitable version of the adjoint functor theorem. Such results are understood as consequences of the intrinsic smallness of internal categories.
