martin mentioned something about "algebraic theories" today... so i think that i should try incorporating this into the discussion... something about "doctrines" ...
blending together various viewpoints... algebraic theory as parallel to ag theory ... and so forth ... ??
??also something about "universal property as tool for reducing abstraction level" ... and so forth... ??...
No comments:
Post a Comment