Basic theory of magmas to Enumerating Small Finite Magmas

• Basic theory of magmas
• Selected laws
• General implications
• Implications between selected laws
• Finite implications and infinite models
• Selected magmas
• Infinite magma constructions
• Equivalence with the constant and singleton laws
• Metatheorems from Invariants
• Some abstract nonsense
• Magma cohomology
• Weak central groupoids
• Equation 854
• Equation 906
• Equation 1323
• Equation 1729
• Order 5 Austin laws
• Simple rewrites
• Trivial auto-generated theorems
• Enumerating Small Finite Magmas

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.