Revision #852 → #1381 · back to history
addedClosure propertyb2006813f83b
addedPartial magma / partial groupoidd824aa2d52b2
addedMorphism of magmas3863a444cd0c
addedLogarithm as a magma morphism672fe7eb8fa8
addedCatalan number C_2 = 275d267d0592f
addedCatalan number C_3 = 51dbdab2511b8
addedNumber of magmas on an n-element set2ae166d75141
addedFree magmaeafc06609f9f
addedUniversal property of the free magma8fd3e4a51cd6
addedQuasigroup345ab69728ba
addedSemigroupe967138d3e3c
addedDivisibility/invertibility imply cancellation4f3a43a4dccb
addedCommutative magmadce52cdd4e34
addedCommutative monoid5c6b269bd58b
addedAbelian groupded4a19c24fb
addedMedial magma637a6e0e0ef3
addedLeft semimedial094d72fc3b4e
addedRight semimedial09a11605c561
addedSemimedial396d15d58e57
addedLeft distributive6377caff1f04
addedRight distributive8a83db4e3996
addedAutodistributive3b8f1b4754cd
addedCommutativedb9848d2e99e
addedIdempotent0f99e3f1cde1
addedUnipotent7e14be2769a1
addedZeropotentbecd277a7d97
addedAlternative88bcfe05ceed
addedPower-associative398430006153
addedFlexible762db6a6e641
addedAssociative (semigroup)346057df73f8
addedLeft-unar1c6c30cba98e
addedRight-unarda52e39012bd
addedConstant magmac54d953e193b
addedLeft-cancellative6cc5541e9ef1
addedRight-cancellativee9a02372123e
addedCancellative05577528e837
addedLeft-zero semigroup806be2213273
addedRight-zero semigroupe460d5c030c7
addedTriple-medial81599a5e14ea
addedImage of a medial cancellation magma29eb7b331b1f
addedSquag/identity xy • yz ≡ y73b3807f6010
addedCategory of magmas Maga0c975442d15
addedMag is a complete category41bc16236db0
addedExtension of injective endomorphism to automorphismc76dc97ad8e8