Skip to content

Instantly share code, notes, and snippets.

@knuton

knuton/grouplikes.dot

Created October 18, 2020 11:57
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save knuton/a5efe753af49157eb7e0a8ef0f79b796 to your computer and use it in GitHub Desktop.
Save knuton/a5efe753af49157eb7e0a8ef0f79b796 to your computer and use it in GitHub Desktop.
Download ZIP
Lattice of group-like structures
Raw
grouplikes.dot
digraph G {
rankdir = BT;
node [ shape=box ];
small_cat [ label="small cat" ];
commutative_monoid [ label="commutative monoid" ];
inverse_semigroup [ label="inverse semigroup" ];
unital_magma [ label="unital magma" ];
abelian_group [ label="abelian group" ];
semigroupoid -> small_cat [ label="0", fontname="courier" ];
small_cat -> groupoid [ label="-1", fontname="courier" ];
groupoid -> group [ label="⇥", fontname="courier" ];
small_cat -> monoid [ label="⇥", fontname="courier" ];
monoid -> commutative_monoid [ label="⇆", fontname="courier" ];
magma -> semigroup [ label="()", fontname="courier" ];
semigroupoid -> semigroup [ label="⇥", fontname="courier" ];
quasigroup -> inverse_semigroup [ label="()", fontname="courier" ];
semigroup -> inverse_semigroup [ label="-1", fontname="courier" ];
semigroup -> monoid [ label="0", fontname="courier" ];
magma -> quasigroup [ label="-1", fontname="courier" ];
magma -> unital_magma [ label="0", fontname="courier" ];
unital_magma -> monoid [ label="()", fontname="courier" ];
quasigroup -> loop [ label="0", fontname="courier" ];
unital_magma -> loop [ label="-1", fontname="courier" ];
loop -> group [ label="()", fontname="courier" ];
inverse_semigroup -> group [ label="0", fontname="courier" ];
monoid -> group [ label="-1", fontname="courier" ];
commutative_monoid -> abelian_group [ label="-1", fontname="courier" ];
group -> abelian_group [ label="⇆", fontname="courier" ];
}
@knuton
Copy link
Author

knuton commented Oct 18, 2020

Relationship of group-like structures

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment