uniのスケッチノート

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

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

2-圏の定義

この記事と pdf は Category Theory Advent Calendar 2017 の 5日目に向けて書いたものです。 Category Theory Advent Calendar 2017 - Adventar pdf はこちらから。*1 www.dropbox.com 圏論の話をすることになったので、2-圏の定義を書きました。内容をもう…