Segal spaces

Segal spaces are a homotopical approach to encoding higher-categorical composition by weakening strict composition laws via simplicial objects. Originating from ideas in algebraic topology and homotopy theory, they provide a flexible model for higher categories that interacts with model categories, simplicial categories, and ∞-categorical frameworks. Segal spaces serve as a bridge between classical homotopy-theoretic constructions and modern approaches to higher category theory used in algebraic geometry and mathematical physics.

Definition

A Segal space is a simplicial space satisfying a version of the Segal condition that models composition up to coherent homotopy; the formalism refines simplicial sets studied by Grothendieck and board-level models from Quillen. The definition uses tools from algebraic topology and category theory, relating to homotopy limits, model categories, and localization techniques developed by Quillen and Dwyer–Kan. Key figures associated with the formal development include Graeme Segal, Charles Rezk, and André Joyal, with later structural input from Jacob Lurie and Bertrand Toën.

Examples

Basic examples arise from nerves of ordinary categories, simplicially enriched categories, and topological categories after applying singular complex functors studied by Eilenberg–Mac Lane and Milnor; these yield Segal space structures when mapping spaces are discrete or suitably fibrant. Classifying diagrams associated to loop space constructions and configuration spaces used in work of May, Boardman, and Vogt produce Segal-like simplicial objects connected to operads and little disks operad research by Peter May and John Boardman. The Rezk nerve construction applied to simplicial categories studied by Dwyer and Kan gives canonical examples, and cosimplicial diagrams encountered in the study of moduli problems in algebraic geometry by Grothendieck and Deligne also fit into this framework after suitable fibrant replacement.

Homotopy theory and model structures

Segal spaces are organized into model categories that reflect homotopical equivalences and fibrations akin to Quillen model structures; foundational work by Quillen, Dwyer, Kan, and Rezk established the homotopy-theoretic backdrop. The complete Segal space model structure, introduced by Rezk, is Quillen equivalent to the Bergner model structure on simplicial categories and to Joyal’s model structure on quasi-categories elaborated by Joyal and Lurie. Homotopy-coherent nerve functors and simplicial localization techniques developed by Dwyer, Kan, and Hirschhorn mediate equivalences between these models, and Bousfield localization methods interplay with homotopy limits and colimits as in the work of Bousfield and Friedlander.

Relation to simplicial categories and ∞-categories

Segal spaces provide one among several equivalent models for (∞,1)-categories alongside simplicial categories, quasi-categories, and complete Segal objects; comparisons use rigidification and nerve constructions due to Dwyer–Kan, Bergner, and Lurie. The homotopy theory of simplicial categories studied by Bergner is Quillen equivalent to the theory of complete Segal spaces, while Joyal’s quasi-categories serve as a combinatorial counterpart exploited by Lurie in higher algebra and higher topos theory. Applications connect to moduli of objects in derived algebraic geometry considered by Toën and Vezzosi, and to factorization homology and topological quantum field theory frameworks developed by Lurie and Costello.

Variants and generalizations

Numerous variants generalize the Segal space idea: complete Segal spaces refine the Segal condition to encode equivalences of objects following Rezk; Segal precategories weaken fibrancy conditions studied by Simpson and Hirschowitz; and Segal operads integrate operadic composition in work of Boardman–Vogt and Berger. Multi-Segal objects and n-fold Segal spaces generalize to higher dimensions in approaches by Barwick, Lurie, and Tamsamani, while enriched Segal spaces and internal Segal objects appear in contexts influenced by Kelly and enriched category theory. Recent developments connect Segal-type models to derived deformation theory and noncommutative geometry as studied by Kontsevich, Gaitsgory, and Lurie.

Category:Algebraic topology Category:Category theory Category:Homotopy theory