Blog d’en Xavi

L’altra dia em demanava sobre els fonaments de les matemàtiques. Hi va haver molta retroacció entre els blogxeixers, i en Félix va apuntar sobre si es podia o no definir els conceptes matemàtics. Jo li vaig respondre que en la meva opinió no (a no ser amb l’ús d’un llenguatge extern) però sí que es podien descriure (trobar les propietats que compleixen aquestes objectes) o caracteritzar (aclarir que aquests objectes són els únics que compleixen certes propietats).

Mentres deia tot això estava pensant en els sistemes formals i en caracteritzar els objectes amb l’ajuda de fórmules (p.e. “R és l’únic grup commutatiu que compleix….”). Bé, doncs ara afegeix un altre element a la discussió: caracteritzar-los mitjançant els morfismes entre aquests.

Qualsevol estructura té uns morfismes que preserven les propietats entre aquests (els homeomorfismes són els morfismes entre espais topològics, els morfismes de grups preserven l’estructura de grup, les funcions monòtones preserven l’ordre, etc.). Per tant es pot estudiar l’estructura estudiant els seus morfismes. I comparar estructures comparant els morfismes entre aquests.

Aquesta és la idea de la Teoria de Categories (Xesc, corregeix-me si m’equivoc!). I hi ha tendències a la lògica que volen fonamentar-la en la teoria de categories: Teoria de Conjunts Algebraica, Institucions (generalitzacions de la lògica mitjançant categories), Topos, etc.

No he tengut molt de temps de llegir els detalls tècnics, encara que l’important és que tenim una altra eina per descriure els objectes. Si algú té temps i ganes pot contribuir fent-nos 4 cèntims? O bé dir-nos on podem començar a llegir per entendre una mica de tot?

Xavi

PS: Un llibre que està prou bé (cobriria just les ensenyances d’en Joan Torrens a Àlgebra III de l’extingit pla d’estudis de la Llicenciatura de Matemàtiques però és accessible i planer) és “Basic Category Theory for Computer Scientists” de Benjamin C. Pierce (no el cerqueu a la biblioteca, el tenc fins dia 10 de març! ;-))