A simplicial set whose inner horns admit fillers (Boardman–Vogt/Joyal). Models (∞,1)-categories; Lurie's Higher Topos Theory develops the theory. Underlies modern derived algebraic geometry.
A simplicial set whose inner horns admit fillers (Boardman–Vogt/Joyal). Models (∞,1)-categories; Lurie's Higher Topos Theory develops the theory. Underlies modern derived algebraic geometry.