Elements of ∞-Category Theory

From MaRDI portal
Publication:3379615

DOI10.1017/9781108936880zbMath1492.18001OpenAlexW4206073431MaRDI QIDQ3379615

Dominic Verity, Emily Riehl

Publication date: 27 September 2021

Full work available at URL: https://doi.org/10.1017/9781108936880




Related Items (42)

Left-exact localizations of \(\infty\)-topoi. I: Higher sheavesTopological coHochschild homology and the homology of free loop spacesWeighted limits in an \((\infty, 1)\)-categoryTetrahedral symmetry of \(6j\)-symbols in fusion categoriesFlat vs. filtered colimits in the enriched contextObservability in the univalent universeA Quillen adjunction between globular and complicial approaches to \((\infty, n)\)-categoriesLabelled cospan categories and properadsLeft-exact localizations of \(\infty\)-topoi. II: Grothendieck topologiesA formal logic for formal category theorySimplicial model structures on pro-categoriesParametrized higher category theoryA model structure for weakly horizontally invariant double categoriesVopěnka's principle in \(\infty\)-categoriesOn straightening for Segal spacesCategorical models for path spacesAccessible \(\infty \)-cosmoiThe enriched Thomason model structure on 2-categoriesUnivalent categories of modulesOn the ∞$\infty$‐topos semantics of homotopy type theoryEquivalence of cubical and simplicial approaches to \((\infty, n)\)-categoriesYoneda lemma for simplicial spacesOn rectification and enrichment of infinity properadsUnnamed ItemTwo-variable fibrations, factorisation systems and -categories of spansLax monoidal adjunctions, two‐variable fibrations and the calculus of matesA categorification of the quantum Lefschetz principleWhat is an equivalence in a higher category?Naturality of the \(\infty\)-categorical enriched Yoneda embeddingOn lax transformations, adjunctions, and monads in $(\infty,2)$-categoriesUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemFundamental pushouts of n-complicial setsJoyal's cylinder conjectureQuasi-categories vs. Segal spaces: Cartesian editionThe monadic tower for \(\infty\)-categoriesOn \(\infty\)-cosmoi of bicategoriesIntegral motivic sheaves and geometric representation theoryAdjoint functor theorems for homotopically enriched categories




This page was built for publication: Elements of ∞-Category Theory