Colimits and cocompletions in internal higher category theory

zbMATH Open1547.18005MaRDI QIDQ6617078

S. Wolf, Louis Martini

Publication date: 10 October 2024

Published in: Higher Structures (Search for Journal in Brave)

zbMATH Keywords

higher topos theoryinternal higher category theoryparametrised higher category theory

Mathematics Subject Classification ID

Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) General theory of categories and functors (18Axx) Homotopy theory (55Pxx) Higher categories and homotopical algebra (18Nxx)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal category theory: Adjointness for 2-categories
• Quasi-categories and Kan complexes
• Cartesian fibrations and representability
• The universal six-functor formalism
• The pro-étale topos as a category of pyknotic presheaves
• A type theory for synthetic $\infty$-categories
• Elements of ∞-Category Theory
• A model for the homotopy theory of homotopy theory
• Higher Categories and Homotopical Algebra
• Triangulated Categories of Mixed Motives
• On lax transformations, adjunctions, and monads in $(\infty,2)$-categories
• Higher Topos Theory (AM-170)
• Parametrized higher category theory

Related Items (1)

The Adams isomorphism revisited

This page was built for publication: Colimits and cocompletions in internal higher category theory

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