20180831102451

#20180831 #圏の例

#今日の圏論 #圏論の基礎

モノイド：対象が一つの圏。

（射に注目すれば、対象が一つの圏は、単位元を持ち結合則を満たす二項演算が入った集合と同一視できる）

（ちょっと面白くなってきた） https://t.co/3mfLOVlklN