@themattsimpson @sarahdoingthing A category contains all the objects of a particular kind and all the functions between them.
-
-
Replying to @St_Rev
@themattsimpson
@sarahdoingthing So Set contains all sets and all functions, Top contains all topological spaces & continuous maps, etc.1 reply 0 retweets 1 like -
Replying to @St_Rev
@themattsimpson
@sarahdoingthing Now a *functor* is a kind of function that goes from one category to another. Context switching.1 reply 0 retweets 2 likes -
Replying to @St_Rev
@themattsimpson
@sarahdoingthing Functors turn questions about topology into questions about algebra, and so on. "The light's better here"2 replies 1 retweet 4 likes -
Replying to @St_Rev
@St_Rev @themattsimpson@sarahdoingthing Oh, I see your analogy now!1 reply 0 retweets 0 likes -
Replying to @Meaningness
@Meaningness @themattsimpson@sarahdoingthing It's usually presented as this hybrid of syntactic logic and graph theory1 reply 0 retweets 0 likes -
Replying to @St_Rev
@Meaningness @themattsimpson@sarahdoingthing Really it's the Higher Knowledge, like Qabala--you need to know the main texts deeply first.1 reply 0 retweets 1 like -
Replying to @Meaningness
@St_Rev I was only CS person in a graduate seminar. Rota gave me a good grade probably out of pity.1 reply 0 retweets 0 likes -
-
-
Replying to @Meaningness
@St_Rev Rota and Birkhoff were buddies, though so I may be misremembering based on stories he told.1 reply 0 retweets 0 likes -
Replying to @Meaningness
@Meaningness Well, Birkhoff and Mac Lane were frequent collaborators but Mac Lane was one of the actual creators of the field.1 reply 0 retweets 1 like - 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.