What features of these computation state paths make them special? That is, what is the intuitive definition of a symmetric monoidal category that this example illustrates? I ask because I don’t really understand what a monoidal category is (beyond “something something category theoretic version of a monoid”).
What features of these computation state paths make them special? That is, what is the intuitive definition of a symmetric monoidal category that this example illustrates? I ask because I don’t really understand what a monoidal category is (beyond “something something category theoretic version of a monoid”).