"Category Theory" - tag

Sort by: relevance · freshness · popularity Search: multi · tag · site · extension

1 - 15 of 15

YouTube - TheCatsters's Channel

by zweistein ... last on 2008-07-29 ... tags: category theory · math · video lectures

http://www.youtube.com/user/TheCatsters - cached - mail it - history

PlanetMath: category theory

by zweistein ... last on 2008-07-29 ... tags: category theory · math

http://planetmath.org/?op=getobj&from=objects&id=5622 - cached - mail it - history

Category Theory

by 11 people: olifante, btlgs2000, zellyn ... last on 2008-07-25 ... tags: philosophy · mathematics · theory · categories · category · category-theory · culture · logic · pop · Category Theory

http://plato.stanford.edu/entries/category-theory/ - cached - mail it - history

Historical Math Monographs

by zweistein ... last on 2008-07-25 ... tags: category theory · development · functional · haskell · math

http://dlxs2.library.cornell.edu/cgi/t/text/text-idx?c=math;cc=math;idno=gold010;view=toc;frm=frameset - cached - mail it - history

A Classic: Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (PS, see comments for PDF) : programming

by zweistein ... last on 2008-07-23 ... tags: category theory · computer science · development · functional · math

http://www.reddit.com/r/programming/comments/6q591/A_Classic_Functional_Programming_with_Bananas/ - cached - mail it - history

Spark's Pensieve - References for Category Theory

by zweistein ... last on 2008-07-20 ... tags: books · category theory · development · functional · haskell · math

http://www.thinkingms.com/pensieve/2008/01/12/ReferencesForCategoryTheory.aspx - cached - mail it - history

topos

by 2 people: lambdareader, airpocket ... last on 2008-04-08 ... tags: Category Theory · Mathematics · Topos Theory · mathematics · philosophy · topos-theory

http://math.ucr.edu/home/baez/topos.html - cached - mail it - history

A Tutorial on the Universality and Expressiveness of Fold - Hutton (ResearchIndex)

by lambdareader ... last on 2006-10-05 ... tags: Category Theory · Haskell Language · types

http://citeseer.ist.psu.edu/hutton93tutorial.html - cached - mail it - history

De Bruijn Notation as a Nested Datatype

by lambdareader ... last on 2006-10-05 ... tags: Category Theory · Haskell Language · Lambda Calculus

http://www.soi.city.ac.uk/~ross/papers/debruijn.html - cached - mail it - history

popl07sub.pdf (application/pdf Object)

by lambdareader ... last on 2006-10-05 ... tags: Category Theory · Haskell Language · Lambda Calculus · reference

http://crab.rutgers.edu/~pjohann/popl07sub.pdf - cached - mail it - history

wg2.8slides.pdf (application/pdf Object)

by lambdareader ... last on 2006-10-05 ... tags: Category Theory · Haskell Language · Lambda Calculus · reference

http://www.crab.rutgers.edu/~pjohann/wg2.8slides.pdf - cached - mail it - history

[math/0404373] Homotopical Algebraic Geometry II: geometric stacks and applications

by lambdareader ... last on 2006-08-18 ... tags: Algebraic Geometry · Category Theory · Mathematics

http://arxiv.org/abs/math/0404373 - cached - mail it - history

Toposes Pour Les Vraiment Nuls - Vickers (ResearchIndex)

by lambdareader ... last on 2006-07-17 ... tags: Category Theory · Topos Theory

http://citeseer.ist.psu.edu/481412.html - cached - mail it - history