[en] In the present thesis, we study the theory of decomposition spaces, focusing on the interval construction for decomposition spaces and the decomposition space of subdivided intervals U, which was constructed by Gálvez, Kock, and Tonks as a recipient of Lawvere's interval construction. Our interest in U is due to the Gálvez--Kock--Tonks conjecture, which states that U enjoys a certain universal property: for every complete decomposition space X, the space of culf functors from X to U is contractible. The first main contribution, developed in collaboration with Alex Cebrian, is to introduce the concept of connected and non-connected directed hereditary species and show that they have associated monoidal decomposition spaces, comodule bialgebras, and operadic categories. The second main contribution is to prove the Gálvez--Kock--Tonks conjecture. First, we proved the conjecture for the discrete case. For the general case of the conjecture, we impose cardinal bounds through the Möbius condition for decomposition spaces. This is a certain finiteness condition ensuring that the general Möbius inversion principle admits a homotopy cardinality. From this perspective proving the conjecture is equivalent to proving that the decomposition space of subdivided Möbius intervals is a terminal object in the ∞-category of Möbius decomposition spaces and culf maps. The proof is given by combining the theory of (∞,2)-colimits, the interval construction, and the straightening-unstraightening equivalence of ∞-categories. The Möbius case, together with the fact that the ∞-category of decomposition spaces and culf maps is locally an ∞-topos imply that the ∞-category of Möbius decomposition spaces and culf maps is an ∞-topos.

[es] En la presente tesis se estudia los espacios de descomposición, con énfasis en la construcción de intervalos y el espacio de descomposición de intervalos subdivididos U, el cual fue construido por Gálvez, Kock y Tonks como una generalización de la construcción de intervalos de Lawvere. El interés en U radica en la Gálvez-Kock-Tonks conjetura que afirma que U posee cierta propiedad universal: para todo espacio de descomposición completo X, el espacio de funtores culf de X a U es contráctil. La primera contribución, desarrollada en colaboración con Alex Cebrian, es introducir el concepto de especies hereditarias dirigidas conectadas y no conectadas y mostrar que tienen asociadas espacios de descomposición, comodulo bialgebras y categorías operadicas. La segunda contribución es probar la Gálvez-Kock-Tonks conjetura. Primero probamos la conjetura para el caso discreto. Para el caso general imponemos cotas cardinales a través de la condición de Möbius para espacios de descomposición. Esta es cierta condición de finitud que permite que el principio general de inversión de Möbius admite cardinalidad homotópica. Desde esta perspectiva probar la conjetura es equivalente a probar que el espacio de descomposición de intervalos subdivididos de Möbius es un objeto terminal en la ∞-categoría de espacios de descomposición de Möbius y de funtores culf. La prueba es una combinación de teoría de (∞,2)-colimites, la construcción de intervalos, y la straightening-unstraightening equivalencia de ∞-categorías. El caso Möbius junto al hecho que la ∞-categoría de espacios de descomposición y funtores culf es localmente un ∞-topos implica que la ∞-categoría de espacios de descomposición de Möbius y funtores culf es un ∞-topos.