Complete internal categories

Publication date 18 April 2020

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Internal categories and groupoids (18D40)

Abstract: 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.

This page was built for publication: Complete internal categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6338969)