Cover Image

Higher presentable categories and limits

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Aoki, Ko
Format:	Preprint
Published:	2025
Subjects:	Category Theory Algebraic Topology Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Internal languages of locally cartesian closed $(\infty,1)$-categories
by: Cherradi, El Mehdi
Published: (2025)

Modal Fracture of Higher Groups
by: Myers, David Jaz
Published: (2021)

Higher geometric sheaf theories
by: Stenzel, Raffael
Published: (2022)

Manifold Diagrams for Higher Categories
by: Heidemann, Lukas
Published: (2024)

Elementary $\infty$-toposes from type theory
by: Apol, Daniël, et al.
Published: (2025)

Choice axioms and Postnikov completeness
by: Anel, Mathieu, et al.
Published: (2024)

Basic Category Theory
by: Leinster, Tom
Published: (2016)

Interpreting type theory in a quasicategory: a Yoneda approach
by: Cherradi, El Mehdi
Published: (2022)

$2$-dimensional Lawvere theories: commutativity and lax phenomena
by: Perutka, Tomáš
Published: (2026)

Non-trivial higher homotopy of first-order theories
by: Campion, Tim, et al.
Published: (2023)

Path Types in Algebraic Type Theory
by: Awodey, Steve, et al.
Published: (2026)

Presentation of finite Reedy categories as localizations of finite direct categories
by: Sato, Genki
Published: (2025)

Very Schwartz coidempotents and continuous spectrum
by: Aoki, Ko
Published: (2025)

The sheaves--spectrum adjunction
by: Aoki, Ko
Published: (2023)

Higher categories
by: Haugseng, Rune
Published: (2024)

Posets for which Verdier duality holds
by: Aoki, Ko
Published: (2022)

Higher Zariski Geometry
by: Aoki, Ko, et al.
Published: (2025)

The smashing spectrum of sheaves
by: Aoki, Ko
Published: (2024)

Epimorphisms and Acyclic Types in Univalent Foundations
by: Buchholtz, Ulrik, et al.
Published: (2024)

Enriched $\infty$-categories as marked module categories
by: Reutter, David, et al.
Published: (2025)

Dualizable presentable $\infty$-categories
by: Ramzi, Maxime
Published: (2024)

The Morita $(\infty,2)$-category of a monoidal category as a $2$-complicial set
by: Dutta, Arghan, et al.
Published: (2025)

The presentable stable envelope of an exact category
by: Nielsen, Marius, et al.
Published: (2025)

Positselski duality in $\infty$-categories
by: Aambø, Torgeir
Published: (2024)

The category of $π$-finite spaces
by: Anel, Mathieu
Published: (2021)

Koszul duality for operadic categories
by: Batanin, Michael, et al.
Published: (2021)

On bi-enriched $\infty$-categories
by: Heine, Hadrian
Published: (2024)

On the equivalence invariance of formal category theory
by: Verdugo, Paula
Published: (2025)

Limits of $(\infty, 1)$-categories with structure and their lax morphisms
by: Ko, Joanna
Published: (2025)

Flat functors in the context of fibration categories
by: Cherradi, El Mehdi
Published: (2026)

Stable homotopy theory of higher categories
by: Heine, Hadrian
Published: (2026)

Globalizing and stabilizing global $\infty$-categories
by: Linskens, Sil
Published: (2024)

Invertibility and parity in symmetric monoidal categories
by: Gurski, Nick, et al.
Published: (2026)

On k-invariants for $(\infty, n)$-categories
by: Harpaz, Yonatan, et al.
Published: (2020)

Fully faithful functors and pushouts of $\infty$-categories
by: Haine, Peter J., et al.
Published: (2025)

Classifying anima of condensed $\infty$-categories of points
by: Haine, Peter J.
Published: (2026)

Operadic Fibrations and Unary Operadic 2-categories
by: Trnka, Dominik
Published: (2024)

A monoidal Grothendieck construction for $\infty$-categories
by: Ramzi, Maxime
Published: (2022)

Colimits and cocompletions in internal higher category theory
by: Martini, Louis, et al.
Published: (2021)

$\mathbb{E}_n$-algebras in m-categories
by: Liu, Yu Leon
Published: (2024)