Traced {{Monoidal Categories}} as {{Algebraic Structures}} in {{Prof}}