Tag Archives: sets and arrows

lema de abstracción


Simplemente el primer paso para bajarle la complejidad a un conjunto excesivamente grande, en la categoría de conjuntos y flechas -la curiosamente denominada categoría madre- es particionar o relacionar. Los morfismos en esta categoría son las flechas atrás mencionadas.  El lema de abstracción está en la entrada de esta teoría , así que desde el punto de vista categórico falta decir algo que relacione 

  • conjuntos S,T, U,...
  • flechas  S\to T, S\to U,...
  • relaciones binarias \sim_s en S o \sim_t en T,…

en el siguiente paso de complejidad categórica. En pasado post enumeré con el dígito dos a la correspondiente situación muy elemental de las cosas que suceden allá en esta teoría fundamental 

Advertisements

Leave a comment

Filed under categoría, Category, category theory, cucei math, math