En matemáticas, un espacio de Segal es un espacio simplicial que satisface algunas condiciones de retroceso , lo que lo hace parecer una versión homotópica de una categoría . Más precisamente, un conjunto simplicial , considerado como un espacio discreto simplicial, satisface las condiciones de Segal si es el nervio de una categoría. La condición para los espacios Segal es una versión homotópica de esto.