The Hexagon Axiom
For along with the commutativity constraint to be called a braided monoidal category, the following hexagonal diagrams must commute for all objects . Here is the associativity isomorphism coming from the monoidal structure on :
Read more about this topic: Braided Monoidal Category
Famous quotes containing the word axiom:
““You are bothered, I suppose, by the idea that you can’t possibly believe in miracles and mysteries, and therefore can’t make a good wife for Hazard. You might just as well make yourself unhappy by doubting whether you would make a good wife to me because you can’t believe the first axiom in Euclid. There is no science which does not begin by requiring you to believe the incredible.””
—Henry Brooks Adams (1838–1918)