uniのスケッチノート

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

2-圏の定義

この記事と pdf は Category Theory Advent Calendar 2017 の 5日目に向けて書いたものです。

Category Theory Advent Calendar 2017 - Adventar

 

pdf はこちらから。*1

www.dropbox.com

 

 圏論の話をすることになったので、2-圏の定義を書きました。内容をもう少し詳しくいうと、1-圏と関手と自然変換の振り返りをし、その後で2-圏や lax functor や lax natural transformation や modification の定義を述べます。

射と条件がたくさん出てきて、図式を追跡するのが大変です。

この pdf での話は、来週予定の私の2回目の記事や、25日のぴあのんさんの記事でもたぶん使われます。

*1:[追記:17/12/05] 誤字を修正した。