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.
Wednesday, June 23, 2010
doctrines 4
consider "the theory of an epimorphism" in the doctrine of finitely co-complete algebroids. give a nice explicit description of this theory in terms of a serre subcategory, or something like that...
No comments:
Post a Comment