Coherent Taylor expansion as a bimonad

Thomas Ehrhard, Aymeric Walch

We extend the recently introduced setting of coherent differentiation for taking into account not only differentiation, but also Taylor expansion in categories which are not necess…