Quasi-categories and Kan complexes

DOI10.1016/S0022-4049(02)00135-4zbMATH Open1015.18008OpenAlexW2084051193WikidataQ56554885 ScholiaQ56554885MaRDI QIDQ1850102FDOQ1850102

Authors: André Joyal 

Publication date: 2 December 2002

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-4049(02)00135-4

Recommendations

• Homotopy coherent adjunctions and the formal theory of monads
• The 2-category theory of quasi-categories
• Rigidification of quasi-categories
• Weak complicial sets. I: Basic homotopy theory
• On the structure of simplicial categories associated to quasi-categories

zbMATH Keywords

simplicial setweak Kan complexnervequasi-category

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Definitions and generalizations in theory of categories (18A05)

Cites Work

• Title not available (Why is that?)
• Homotopical algebra
• Categories of continuous functors. I
• Homotopy limits, completions and localizations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Homotopy invariant algebraic structures on topological spaces
• On closed categories of functors
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (only showing first 100 items - show all)

• Weighted limits in an \((\infty, 1)\)-category
• Poincaré/Koszul duality
• Lie algebras and \(v_n\)-periodic spaces
• Towards a homotopy domain theory
• Quasi-2-Segal sets
• Stability for inner fibrations revisited
• Introduction to gestural similarity in music. An application of category theory to the orchestra
• A type theory for synthetic $\infty$-categories
• Higher groupoid bundles, higher spaces, and self-dual tensor field equations
• Homotopy coherent theorems of Dold-Kan type
• A Quillen's Theorem A for strict $\infty$-categories II: the $\infty$-categorical proof
• Differential calculus of Hochschild pairs for infinity-categories
• A perfect pairing for monoidal adjunctions
• Waldhausen additivity: classical and quasicategorical
• 2-Segal spaces as invertible infinity-operads
• EQUIVALENCE OF MODELS FOR EQUIVARIANT (∞, 1)-CATEGORIES
• A simplicial model for infinity properads
• Local complete Segal spaces
• Descent theory and mapping spaces
• Categorical models for path spaces
• Simplicial model structures on pro-categories
• Ambidexterity in chromatic homotopy theory
• Parametrized spectra, multiplicative Thom spectra and the twisted Umkehr map
• The Beilinson regulator is a map of ring spectra
• Frames in cofibration categories
• Configuration spaces and \(\Theta_n\)
• Homotopy pullback of \(A_n\)-spaces and its applications to \(A_n\)-types of gauge groups
• Comparison of Waldhausen constructions
• Fundamental groupoids for simplicial objects in Mal'tsev categories
• On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads
• Higher Structures in Homotopy Type Theory
• Higher weak (co)limits, adjoint functor theorems, and higher Brown representability
• Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
• On Drinfeld's DG quotient
• Étale homotopy and obstructions to rational points
• Equivariant dendroidal sets
• The homotopy theory of simplicial props
• The folk model category structure on strict $\omega$-categories is monoidal
• From Mathesis Universalis to Provability, Computability, and Constructivity
• A homotopy coherent cellular nerve for bicategories
• The genuine operadic nerve
• On the homotopy theory of equivariant colored operads
• Inner horns for 2-quasi-categories
• On the equivalence of all models for (∞,2)$(\infty,2)$‐categories
• Flagged higher categories
• Spectral sequences in \((\infty,1)\)-categories
• A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof
• Incidence bicomodules, Möbius inversion and a Rota formula for infinity adjunctions
• Cubical rigidification, the cobar construction and the based loop space
• Enriched categories and models for spaces of evolving states
• Moduli of spaces with prescribed homotopy groups
• Observability in the univalent universe
• A stable \(\infty\)-category of Lagrangian cobordisms
• Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity-Topoi
• Monoidal infinity category of complexes from Tannakian viewpoint
• Discrete \(G\)-spectra and embeddings of module spectra
• A stratified homotopy hypothesis
• Topological coHochschild homology and the homology of free loop spaces
• A simplicial approach to factorization systems and Kurosh-Amitsur radicals
• Univalence in locally Cartesian closed categories
• Infinity category theory from scratch
• Homotopy Theory of Minimal Simplicial Spaces
• Joyal's cylinder conjecture
• Homotopy sheaves on generalised spaces
• Completed power operations for Morava \(E\)-theory
• Type theory and homotopy
• Regulators and cycle maps in higher-dimensional differential algebraic \(K\)-theory
• Functors (between \(\infty \)-categories) that aren't strictly unital
• Covariantly functorial wrapped Floer theory on Liouville sectors
• Uniqueness of the multiplicative cyclotomic trace
• Recognizing quasi-categorical limits and colimits in homotopy coherent nerves
• Simplicial Models for Concurrency
• Algebraic weak factorisation systems. II: Categories of weak maps.
• On the structure of simplicial categories associated to quasi-categories
• Adjoint functor theorems for homotopically enriched categories
• A universal characterization of higher algebraic \(K\)-theory
• Remarks on Chern-Simons theory
• Database queries and constraints via lifting problems
• Homotopy theory of monoids and derived localization
• Dendroidal sets
• Gauge theory and string topology
• Higher analytic stacks and GAGA theorems
• On the equivalence between Lurie's model and the dendroidal model for infinity-operads
• Closed dendroidal sets and unital operads
• Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
• Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
• Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals
• Data types with symmetries and polynomial functors over groupoids
• Goodwillie Approximations to Higher Categories
• Differential graded versus simplicial categories
• On quasivarieties and varieties as categories
• The 2-category theory of quasi-categories
• Rigidification of quasi-categories
• On homotopy varieties
• Fibrations of $\infty$-categories
• Dold-Kan correspondence for dendroidal Abelian groups
• Algebraic weak factorisation systems. I: Accessible AWFS.
• Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
• A Thomason model structure on the category of small \(n\)-fold categories
• Nerves of bicategories as stratified simplicial sets

This page was built for publication: Quasi-categories and Kan complexes

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