Nicholas Thompson wrote: > So, I am beginning to wonder, is it possible that Category Theory is one of > those intellectual developments that has been roundly rejected by the > mainstream, but whose language has crept into the mainstream to a very > great degree? > Type systems of programming languages (esp. like ML and Haskell) have roots in category theory. Also dimensional analysis in physics is a similar but independent concept. What does it actually mean to call it rejected? Could it be people just moved on to more refined ideas?
Marcus ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College lectures, archives, unsubscribe, maps at http://www.friam.org
