Acaba de salir la convocatoria de la FPU 2024 y, en efecto, todo apunta a que el Ministerio de Ciencia va a decidir quién consigue unos contratos tan importantes a través de un excel con la nota del expediente. Toda mención a los méritos/trayectoria académica ha sido eliminada.
@AtheyBng Pero sí lo es.
Todas las lenguas --conocidas-- tienen formas de referirse a los conceptos de nada y de algo. No todas tienen números. El concepto de nada es más natural en el lenguaje humano que cualquier otra cantidad concreta.
La naturalidad o no del cero no importa, sino los amigos que hacemos en el camino, nunca ha sido más que una excusa para hablar de matemáticas y llevar camisetas y zapatillas chulas. La importancia de que el cero sea natural es nula, cero. O sea, natural. ∴0∈ℕ
La naturalidad o no del cero no importa, sino los amigos que hacemos en el camino, nunca ha sido más que una excusa para hablar de matemáticas y llevar camisetas y zapatillas chulas. La importancia de que el cero sea natural es nula, cero. O sea, natural. ∴0∈ℕ
@jose_arc_99@Anthony_Bonato The mathematical language we develope to do mathematics is a tool, it is not mathematics itself.
"We need a language to study A, therefore A is a language" is silly. At best.
@csaez_math@RiojanoUnitario@Juanandete Pero todo espacio topológico da lugar a un local, ¿no hace eso que los espacios topológicos "patológicos" den lugar a locales también "patológicos"?
@parcialdeseis [En el álgebra de los cuaterniones, siendo i,j y k las unidades vectoriales y e el número e de toda la vida: jeje=j²e²=-e²
Aclaración: Si bien el producto de cuaterniones no es conmutativo, sí lo es si cuando uno de los cuaterniones involucrados tiene parte vectorial nula.]
@mattecapu A topological space X is compact iff X is a compact object of the category with open sets of X as objects and inclusions as morphisms between them.
It's not nice, but it's also not horrendous
Me pone muy nervioso estar leyendo cosas de teoría de categorías donde se necesita Elección Global y no se especifica en ningún momento.
¿Soy quisquilloso? Sí. Pero es que tampoco cuesta tanto...
@tipuscontractil Estava llegint sobre equivalències, adjuncions i les seues caracteritzacions. Quan vaig escriure aquest tuit estava intentant demostrar que si un funtor F:C-->D admet morfismes universals de F a qualsevol y en D llavors és adjunt per l'esquerra.