¿Cómo puede ser visto, que si tomamos la categoría de (orientado) $n$-dimensional compacta suave colectores con el límite e identificar a co-bordism que este es en realidad un conjunto? Estoy leyendo que se puede definir una estructura de grupo en estas clases de equivalencia, mediante el uso discontinuo de la unión (y de la cosecha adecuado orientaciones/incrustaciones para la cobordism en la orientada al caso), pero aún así estoy seguro de cómo se ve este es un conjunto.
Se menciona aquí por Tom Weston, y también en Stong "Notas sobre Cobordism teoría" que se desprende de la Whitney Incrustación Teorema, (posiblemente también con la idea de doblar) que, dado que se puede incrustar un $n-$dimensiones manifold con frontera en $\Bbb{R}^{2n}$, se puede considerar que en caso de que los representantes de la categoría de suave colectores de todas dimensión como sub colectores de $\Bbb{R}^\infty$. Luego dicen que esto es una categoría de pequeña y que debe significar que los representantes de un conjunto.
No acabo de ver cómo se puede decir que es una categoría pequeña, y en realidad no estoy seguro de lo que significan por la sub-colector en ese caso tampoco. Sé que hay formas de poner en topologías en $\Bbb{R}^\infty$, pero no estoy seguro de en qué manera este es un colector o en qué sentido la palabra sub-colector es decir.
