En matemáticas, una categoría de Segal es un modelo de una categoría infinita introducido por Hirschowitz & Simpson (1998) , basado en el trabajo de Graeme Segal en 1974.