this is my current research notebook in blog form. entries are often at a stream-of-consciousness level but sometimes at a higher level of coherence.
Saturday, February 18, 2012
?? so if there are any grothendieck toposes with non-essential diagonal then is there some extraneous (?? ...) conceot of "categorified measure" in that case ?? ... ???? ....
No comments:
Post a Comment