Angel "Java" Lopez en Blog

Abril del 2018


Publicado el 30 de Abril, 2018, 11:12

Anterior Post

Como comentaba en el anterior post, teoría de categorías aparece en varios temas de las matemáticas modernas. Inspirada por la topología y los grupos (ver Eilenberg y McLane, el encuentro) se ha ido afirmando como una rama de las matemáticas más fundamentales, aunque hay quienes la critican por su generalidad.

En estos días me encuentro con:

Category Theory, Lectures Notes for ESSLLI

de Michael Barr y Charles Wells. Es un resumen de su libro Category Theory for Computing Science. Leo ahí:

Categories originally arose in mathematics out of the need of a formalism to describe the passage from one type of mathematical structure to another. A category in this way represents a kind of mathematics, and may be described as category as mathematical workspace.

Ese es un gran punto: pasa de una estructura matemática a otra. Una categoría muestra esos pasajes, los pone de manifiesto, y deja entrever la unidad subyacente en el tipo de estructura estudiado (sean conjuntos, grupos, anillos, módulos, espacios topológicos, etc...)

Luego:

A category is also a mathematical structure. As such, it is a common generalization of both ordered sets and monoids (the latter are a simple type of algebraic structure that include transition systems as examples), and questions motivated by those topics often have interesting answers for categories. This is category as mathematical structure.

Acá aparece más potencia: una categoría, con sus functores, puede ser un objeto de una categoría más grande. Al fin, una categoría es una estructura matemática más, que puede tener pasajes (functores) a otras categorías.

Y algo que no tuve tanto en cuenta cuando comencé hace años a conocer lo que es una categoría, pero que Barr y Wells explican en este resumen y con más detalle en su libro:

Finally, a category can be seen as a structure that formalizes a mathematician’s description of a type of structure. This is the role of categoryas theory. Formal descriptions in mathematical logic are traditionally given as formal languages with rules for forming terms, axioms and equations. Algebraists long ago invented a formalism based on tuples, the method of signatures and equations, to describe algebraic structures. Category theory provides another approach: the category is a theory and functors with that category as domain are models of the theory.

No es fácil explicarlo sin ejemplos y desarrollo concreto, pero al fin una categoría puede servir para describir un tipo, sus operaciones y transformaciones. Un ejemplo que Barr y Wells exponen es describir a los números naturales con un grafo, que puede ser usado como categoría, similar a los axiomas de Peano.

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Publicado el 29 de Abril, 2018, 10:08

Anterior Post

Apple Is Going After The Health Care Industry, Starting With Personal Health Data
https://www.cbinsights.com/research/apple-health-care-strategy-apps-expert-research

VC Continent: Europe’s Top Venture Capital Investors By Country
https://www.cbinsights.com/research/europe-venture-capital-investor-map

The Future According to Elon Musk (Infographic)
https://www.entrepreneur.com/article/302589

44 Corporations Working On Autonomous Vehicles
https://www.cbinsights.com/research/autonomous-driverless-vehicles-corporations-list/

Unicorn Startup Simulator
https://toggl.com/startup-simulator/

A New, Low-Cost Space Tech Is Set To Disrupt Everything From Commodities Trading To Telecommunications
https://www.cbinsights.com/research/industries-disrupted-satellites/

The Best Leaders Are Great Teachers
https://hbr.org/2018/01/the-best-leaders-are-great-teachers

How fast-growing startup Auth0 made remote working work across the globe
https://www.bizjournals.com/seattle/news/2018/02/13/auth0-remote-working-tips-fast-growing-startup.html

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Por ajlopez, en: Emprender

Publicado el 14 de Abril, 2018, 12:09

Avanza el año, y ya llegamos a abril. Primero una revisión de las resoluciones de marzo:

- Escribir sobre Historia de las Matemáticas [pendiente]
- Escribir sobre Números Algebraicos [pendiente]
- Escribir sobre Geometría Algebraica [pendiente]
- Escribir sobre Curvas Elípticas [pendiente]
- Escribir sobre Teoría de Categorías [pendiente]
- Estudiar blues en guitarra [completo]

Mucho trabajo y poco tiempo en estas semanas pasadas. Igual, lo bueno es que practiqué mucho guitarra y blues, y hasta me ayudaron para poder tocar guitarra eléctrica en público, con gran acompañamiento.

Sigo insistiendo con:

- Escribir sobre Historia de las Matemáticas
- Escribir sobre Números Algebraicos
- Escribir sobre Geometría Algebraica
- Escribir sobre Curvas Elípticas
- Escribir sobre Teoría de Categorías
- Estudiar blues en guitarra

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez