Deriving calculus with cotriples