I posted a question yesterday and it was closed due to duplicate because some thought I was asking for a definition of canonical morphism. I would make it a more focused question: In category thory I ...

If each step is canonical, then the result is canonical? – math.stackexchange.com
Westlifer
