@themattsimpson @sarahdoingthing A category contains all the objects of a particular kind and all the functions between them.
@Meaningness @themattsimpson @sarahdoingthing It's usually presented as this hybrid of syntactic logic and graph theory
-
-
@Meaningness @themattsimpson@sarahdoingthing Really it's the Higher Knowledge, like Qabala--you need to know the main texts deeply first. -
@St_Rev My extremely vague recollection is that Rota taught it from Birkhoff’s book, or Birkoff’s notes, or something like that. -
@St_Rev I was only CS person in a graduate seminar. Rota gave me a good grade probably out of pity. -
@Meaningness Mac Lane, maybe? -
@St_Rev Pretty sure not. Was a long time ago, though, not absolutely sure. Can’t find it as a published book, suspect unpublished notes -
@St_Rev Rota and Birkhoff were buddies, though so I may be misremembering based on stories he told. -
@Meaningness Well, Birkhoff and Mac Lane were frequent collaborators but Mac Lane was one of the actual creators of the field. -
@Meaningness Rota might have used notes from http://www.amazon.com/Algebra-Saunders-MacLane/dp/B00195S818?tag=duckduckgo-ffsb-20 … but http://www.amazon.com/Categories-Working-Mathematician-Graduate-Mathematics/dp/0387984038/ref=asap_bc?ie=UTF8 … is the standard reference. - 6 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.