Segal utrymme

I matematik är ett Segal-utrymme ett enkelt utrymme som uppfyller vissa pullback- villkor, vilket gör att det ser ut som en homotopisk version av en kategori . Mer exakt, en enkel uppsättning , betraktad som ett förenklat diskret utrymme, uppfyller Segal-villkoren om det är nerven i en kategori. Villkoret för Segal-utrymmen är en homotopisk version av detta.

Kompletta Segal-utrymmen introducerades av Rezk (2001) som modeller för (∞, 1)-kategorier .

•    Rezk, Charles (2001), "A model for the homotopy theory of homotopy theory", Transactions of the American Mathematical Society , 353 ( 3): 973–1007, doi : 10.1090/S0002-9947-00-02653-2 , ISSN 0002-9947 , MR 1804411

externa länkar

• Segal utrymme på n Lab
• Komplettera Segal-utrymmet på n Lab