jamb

magma := semigroup := assoc. magma [半群] monoid := unitary semigroup [単系 - あ、なるほろ] category := ; is a monoid (sans diff(class, set)) [圏] class[NBG - orig] := collection { x | φ } where φ doesn't quantify over a class Morse-Kelley…