Monoidal Categories
This is a test of a post defining monoidal categories. So a monoidal category supports a monoidal product.
Extensional existence
A blog generally about logic, math, computer science, and some random philosophy
A blog generally about logic, math, computer science, and some random philosophy
This is a test of a post defining monoidal categories. So a monoidal category supports a monoidal product.