Angel "Java" Lopez en Blog

Publicado el 20 de Marzo, 2013, 10:06

Siguiente Post

Pensé que ya había publicado algo sobre el tema, pero nones. Otro más de los temas que estudio, pero que debo profundizar. También tiene alguna relación con mi actividad profesional de desarrollo de software. Les debo una serie de posts. Al menos, sea hoy esta primera tanda de enlaces y recursos:

Category theory is used to formalize mathematics and its concepts as a collection of objectsand arrows (also called morphisms). Category theory can be used to formalize concepts of other high-level abstractions such as set theory, field theory, and group theory. Several terms used in category theory, including the term "morphism", differ from their uses within mathematics itself. In category theory, a "morphism" obeys a set of conditions specific to category theory itself. Thus, care must be taken to understand the context in which statements are made.

Stanford Encyclopedia of Philosophy: Category Theory

Category Theory for Beginners*

YouTube - TheCatsters's Channel

Crash Course in Monads

Monad (category theory) - Wikipedia, the free encyclopedia

Learning Haskell through Category Theory, and Adventuring in Category Land: Like Flatterland, Only About Categories

What is a monad, why should I use it, and when is it appropriate? | Lambda the Ultimate

Topoi, the categorial analysis of logic

Catamorphism - Wikipedia, the free encyclopedia

Understanding category theory and its practical applications | Lambda the Ultimate

Practical Foundations of Mathematics

Homotopy Theory of Homotopy Theories

Really simple anamorphisms in Ruby

A Categorified Supergroup for String Theory | The n-Category Café

Category Theory and Metaphysics | The n-Category Café

Category Theory for Computing Science

Categories Home Page

Categories List


Paul Taylor - Foundations of Mathematics and Computation

A Gentle Introduction to Category Theory - the calculational approach

Categorical Myths and Legends

TOPCOM,Samuel Eilenberg by Saunders Mac Lane

Quantum Quandaries: A Category-Theoretic Perspective

Categories, Quantization, and Much More

On Algebraic Structures Implicit in Topological Quantum Field Theories

Higher-dimensional Algebra and Topological Quantum Field Theory

Covariance and contravariance of vectors

An Invitation to Higher Gauge Theory

F and the Shibboleth

Algebras of Sets

The Philosophy of the Logic of Sheaves

Mis enlaces

Nos leemos!

Angel "Java" Lopez