pradneshsanderan / tool-to-explore-monoidal-categories Goto Github PK
View Code? Open in Web Editor NEWA tool used to validate whether a given multiplication table (representing a category ass defined in category theory) is a valid finite monoidal category or not