Welcome to DU! The truly grassroots left-of-center political community where regular people, not algorithms, drive the discussions and set the standards. Join the community: Create a free account Support DU (and get rid of ads!): Become a Star Member Latest Breaking News Editorials & Other Articles General Discussion The DU Lounge All Forums Issue Forums Culture Forums Alliance Forums Region Forums Support Forums Help & Search

Science

(9,137 posts)

4. This belongs to category theory approach to math

Wed Dec 5, 2012, 03:03 AM

Dec 2012

Which is alternative to set theory as foundation of math. There is informal language to describe set theory (shorts for theory dependent set-theoretical mathematical structures). And the want to depelope functionally similar informal language to discuss homotopy type theory /(∞,1)-category-theoretical mathematical structures. See also http://golem.ph.utexas.edu/category/2011/03/homotopy_type_theory_i.html

http://plato.stanford.edu/entries/category-theory/

Edit history

Please sign in to view edit histories.

0 members have recommended this reply (displayed in chronological order):

4 replies

= new reply since forum marked as read

Highlight:

Freedom From Logic [View all] bananas Nov 2012 OP

This looks like something else written using LISP Warpy Nov 2012 #1

Nah, it was written by a human bananas Dec 2012 #3

This belongs to category theory approach to math tama Dec 2012 #4