DE in categories -- finally