En teoría de categorías , un lapso , techo o correspondencia es una generalización de la noción de relación entre dos objetos de una categoría . Cuando la categoría tiene todos los pullbacks (y satisface un pequeño número de otras condiciones), los lapsos pueden considerarse como morfismos en una categoría de fracciones .
La noción de tramo se debe a Nobuo Yoneda (1954) y Jean Bénabou (1967).
Un tramo es un diagrama de tipo , es decir, un diagrama de la forma .
Es decir, sea Λ la categoría (-1 ← 0 → +1). Entonces un lapso en una categoría C es un funtor S : Λ → C . Esto significa que un lapso consta de tres objetos X , Y y Z de C y morfismos f : X → Y y g : X → Z : son dos funciones con dominio común .
El colimite de un lapso es un pushout .
Un cospan K en una categoría C es un funtor K : Λ op → C ; equivalentemente, un funtor contravariante de Λ a C . Es decir, un diagrama de tipo ie, un diagrama de la forma .
Por lo tanto, consta de tres objetos X , Y y Z de C y morfismos f : Y → X y g : Z → X : son dos mapas con codominio común.
El límite de un cospan es un retroceso .
Un ejemplo de un cospan es un cobordismo W entre dos variedades M y N , donde las dos funciones son las inclusiones en W . Nótese que si bien los cobordismos son cospans, la categoría de cobordismos no es una "categoría de cospan": no es la categoría de todos los cospans en "la categoría de variedades con inclusiones en el límite", sino más bien una subcategoría de la misma, ya que el requisito de que M y N formen una partición del límite de W es una restricción global.
La categoría nCob de cobordismos de dimensión finita es una categoría compacta de daga . En términos más generales, la categoría Span ( C ) de los vanos en cualquier categoría C con límites finitos también es compacta de daga.