Regarding [#22](https://forum.azimuthproject.org/discussion/comment/18383/#Comment_18383): A monotone map is a functor between particularly special kinds of categories, right? (Those where every diagram commutes.) Is it correct that the fact that a monoidal monotone also preserves the monoidal structure doesn't actually gain us anything, as far as the factorization goes that Tobias mentioned?