This image was acquired from
wikimedia. It was marked as Public Domain or CC0 and is free to use. To verify, go to the source and check the information there.
Trace diagram naturality .svg en String diagram representing left naturality of the trace operator in traced category fr Diagramme de corde reprsentant la naturalit gauche de la trace dans une catgorie trace Own Myself Cczero Category theory