Skip to main content
4 of 7
deleted 11154 characters in body

The "derived drift" is pretty unsatisfying and dangerous to category theory (or at least, to me)

[I received many good answers, and I feel a little bit better -I'd say, less alone-. So, thank you all (especially the people that scolded me).]