Reference. Awodey, S. (2010) Category Theory, Oxford: Oxford University Press, 2nd ed. 2011. 解答にsurjection ⇒ epi の証明しかなかったので, epi ⇒ surjection 側のメモをしておく（解答はおそらくepi ⇒ surjection を not epi ⇒ not surjection で…

Def. Boolean algebra とは, poset と, その二つの要素 の組である. また, 上の二項演算 join: , meet: , および単項演算 complementation: が定義されており, これらは以下の要請を満たす： とするとき, ① ② ③ and ④ and ⑤ ⑥ . Remark. poset とは, 集合 と…