arXiv Open Access 2021

Colimits and cocompletions in internal higher category theory

Louis Martini Sebastian Wolf

Lihat Sumber

Abstrak

We develop a number of basic concepts in the theory of categories internal to an $\infty$-topos. We discuss adjunctions, limits and colimits as well as Kan extensions for internal categories, and we use these results to prove the universal property of internal presheaf categories. We furthermore construct the free cocompletion of an internal category by colimits that are indexed by an arbitrary class of diagram shapes.

Topik & Kata Kunci

math.CT math.AT

Penulis (2)

Louis Martini

Sebastian Wolf

Format Sitasi

APA MLA BibTeX

Martini, L., Wolf, S. (2021). Colimits and cocompletions in internal higher category theory. https://arxiv.org/abs/2111.14495

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2021
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓