It's better to work with a nice category containing some nasty objects, than a nasty category containing only nice objects.
John C. BaezIt's better to work with a nice category containing some nasty objects, than a nasty category containing only nice objects.
John C. Baez