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:

http://en.wikipedia.org/wiki/Category_theory

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
http://stanford.library.usyd.edu.au/archives/fall1997/entries/category-theory/

Category Theory for Beginners*
http://www.cs.toronto.edu/~sme/presentations/cat101.pdf

YouTube - TheCatsters's Channel
http://www.delicious.com/ajlopez/categorytheory?page=3

Crash Course in Monads
http://patryshev.com/monad/crashcourse.pdf

Monad (category theory) - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Monad_(category_theory)

Learning Haskell through Category Theory, and Adventuring in Category Land: Like Flatterland, Only About Categories
http://dekudekuplex.wordpress.com/2009/01/16/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
http://lambda-the-ultimate.org/node/1276

Topoi, the categorial analysis of logic
http://historical.library.cornell.edu/cgi-bin/cul.math/docviewer?did=Gold010&seq=2&frames=0&view=50

Catamorphism - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Catamorphism

Understanding category theory and its practical applications | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2604

Practical Foundations of Mathematics
http://www.cs.man.ac.uk/~pt/Practical-Foundations/html/index.html

Homotopy Theory of Homotopy Theories
http://arxiv.org/PS_cache/arxiv/pdf/1108/1108.2001v1.pdf

Really simple anamorphisms in Ruby
http://weblog.raganwald.com/2007/11/really-simple-anamorphisms-in-ruby.html

A Categorified Supergroup for String Theory | The n-Category Café
http://golem.ph.utexas.edu/category/2011/03/a_categorified_supergroup_for.html

Category Theory and Metaphysics | The n-Category Café
http://golem.ph.utexas.edu/category/2011/03/category_theory_and_metaphysic.html

Category Theory for Computing Science
http://www.case.edu/artsci/math/wells/pub/ctcs.html

Categories Home Page
http://www.mta.ca/~cat-dist/

Categories List
http://www.mta.ca/~cat-dist/

CATEGORY THEORY AT MCGILL
http://www.math.mcgill.ca/bunge/ctatmcgill.html

Paul Taylor - Foundations of Mathematics and Computation
http://www.paultaylor.eu/

A Gentle Introduction to Category Theory - the calculational approach
http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html

Categorical Myths and Legends
http://www.cs.le.ac.uk/people/ah83/cat-myths/

TOPCOM,Samuel Eilenberg by Saunders Mac Lane
http://at.yorku.ca/t/o/p/c/52.htm

Quantum Quandaries: A Category-Theoretic Perspective
http://math.ucr.edu/home/baez/quantum/

Categories, Quantization, and Much More
http://math.ucr.edu/home/baez/categories.html

On Algebraic Structures Implicit in Topological Quantum Field Theories
http://xxx.lanl.gov/abs/hep-th/9412025

Higher-dimensional Algebra and Topological Quantum Field Theory
http://arxiv.org/abs/q-alg/9503002

Covariance and contravariance of vectors
http://en.wikipedia.org/wiki/Covariance_and_contravariance_of_vectors
http://en.wikipedia.org/wiki/Contravariant_functor#Covariance_and_contravariance

An Invitation to Higher Gauge Theory
http://golem.ph.utexas.edu/category/2010/03/an_invitation_to_higher_gauge_1.html

F and the Shibboleth
http://golem.ph.utexas.edu/category/2010/01/f_and_the_shibboleth.html

Algebras of Sets
http://unapologetic.wordpress.com/2010/03/15/algebras-of-sets/

The Philosophy of the Logic of Sheaves
http://golem.ph.utexas.edu/category/2010/09/the_philosophy_of_the_logic_of.html

Mis enlaces
http://www.delicious.com/ajlopez/categorytheory

Nos leemos!

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