@Meaningness @themattsimpson @sarahdoingthing It's usually presented as this hybrid of syntactic logic and graph theory
@St_Rev class covered universal algebra as well as category theory; can’t find a text that combines the two
-
-
@Meaningness Birkhoff was the universal algebra guy, Mac Lane the category theory guy. Covering both at once is uh aggressive. -
@St_Rev The seminar did seem to move fairly rapidly. We did UA first, then CT as a sort of generalization of it. Plus lots of funny stories - 1 more reply
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.