uniのスケッチノート

しがない数学徒の勉強ノートなど

2017-12-12から1日間の記事一覧

Barr の定理

この記事と pdf は Category Theory Advent Calendar 2017 の 12日目に向けて書いたものです。 Category Theory Advent Calendar 2017 - Adventar pdf はこちらから。 www.dropbox.com 3/2-圏(順序圏)についての話と告知していたので、Barr の定理の証明を書…