メモ

数学
  • 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 ではφ内で class に∃, ∀を付けていいらしいが、それは Russell の paradox にぶち当たるんではないのか。Excluded middle がどうとかいう話なのかな。
追記: あー、φに class を自由に含めれてもやっぱり class の中身は set なのね。大文字/小文字で class と set を分けるという記法上の約束を忘れてた…orz