category_theory.monoidal_closed source