FL

F. William Lawvere

estadounidense

F. William Lawvere es un matemático estadounidense conocido por ser uno de los pioneros de la teoría de categorías y por sus contribuciones al desarrollo del concepto de 'categoría lógica'. Su trabajo ha tenido un impacto significativo en la lógica matemática y en la fundamentación de las matemáticas.

Obras en el archivo

16 títulos

Un trabajo fundamental que presenta la teoría de categorías como un lenguaje unificador para las matemáticas, enfatizando su papel en la fundamentación y la organización conceptual de las diversas disciplinas matemáticas.

Este es un trabajo seminal que introduce la teoría de categorías como un posible fundamento alternativo para las matemáticas, ofreciendo una perspectiva diferente a la teoría de conjuntos con estructuras más generales y abstractas.

Un ensayo fundamental escrito por uno de los padres de la teoría de categorías, que presenta el campo desde una perspectiva filosófica y fundacional, argumentando por su universalidad como lenguaje para todas las matemáticas.

Colección de artículos fundamentales de uno de los creadores de la teoría de topos, donde propone el topos como la base para la teoría de conjuntos y la lógica, así como un lenguaje formal para la física.

Este libro seminal aborda la teoría de categorías como un lenguaje unificador en matemáticas, una 'matemática de las matemáticas', explorando sus fundamentos y aplicaciones en lógica y teoría de conjuntos.

Este texto introduce la teoría de categorías como un lenguaje unificador y una herramienta conceptual poderosa para la formalización y comprensión de estructuras en matemáticas y física teórica.

Este texto es un seminal trabajo introductorio a la teoría de categorías, presentando los conceptos fundamentales de manera concisa y rigurosa. A menudo, se considera una puerta de entrada para entender la teoría de categorías desde una perspectiva puramente matemática.

Presenta los topos como una generalización de los conjuntos, explorando su relevancia en la fundación de las matemáticas y sus conexiones potenciales con la física y la lógica.

Una introducción a la teoría de categorías con énfasis en sus aplicaciones al álgebra y el análisis, presentando una perspectiva unificadora de diversas estructuras matemáticas.

Introduce a la teoría de categorías como un lenguaje fundamental para la matemática, con un enfoque intuitivo y conceptual. Explora cómo las categorías pueden unificar diversas áreas de las matemáticas y la lógica.

Una introducción conceptual a la teoría de categorías, diseñada para hacerla accesible a estudiantes de diversas disciplinas, enfatizando la intuición y las ideas detrás de las definiciones matemáticas.

Este libro presenta una introducción accesible a la teoría de topos, explorando cómo esta rama de la teoría de categorías puede proporcionar modelos para la lógica y la teoría de conjuntos, redefiniendo conceptos fundamentales de las matemáticas.

Introduce la teoría de categorías como un marco para entender las estructuras matemáticas de manera abstracta, enfatizando las relaciones entre diferentes dominios matemáticos más que en los objetos individuales.

Una introducción didáctica a la teoría de categorías, un lenguaje matemático que organiza y unifica diferentes ramas de las matemáticas a través del estudio de las relaciones entre estructuras.

Una introducción a la teoría de categorías, un lenguaje matemático que busca unificar diferentes áreas de las matemáticas al enfocarse en las relaciones (morfismos) entre objetos, más allá de la naturaleza interna de los objetos mismos.

Autores relacionados

Aparecen junto a F. William Lawvere en búsquedas del archivo