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
|