適宜追加予定。 名前 使ったことがある 恒等関手 I, IdC, J モノイド積 , P, Y, × 単位射 i, J, I 単位対象 I, 1, 1 自明圏 I, I 自明集合 1, 1 自明アトム *, 0 対角 Δ, δ 潰し関手 K, !' 射影 π1, Π1, proj1 2-圏の恒等 IDK 恒等自然変換 IDF, ιF 自明厳密…

https://web.maths.unsw.edu.au/~danielch/thesis/adrian_miranda.pdf Bicategories and Higher Categories Adrian Toshar Miranda June 2, 2017 Daniel Chanのもとでの修士論文。Tom Leinster の Basic Bicategories (1998) とよく似た書き方のテキスト。変…

マイクロコスモス原理関係記事： デカルト圏、こんな定義もあります - 檜山正幸のキマイラ飼育記 (はてなBlog) http://m-hiyama.hatenablog.com/entry/20111124/1322100492 マイクロコスモ原理の恐怖 - 檜山正幸のキマイラ飼育記 (はてなBlog) http://m-hiya…

デカルト圏、こんな定義もあります - 檜山正幸のキマイラ飼育記 (はてなBlog)（2011年） [上記の]デカルト圏の定義を言い換えてみましょう。この言い換えは[、次の概念を確認するために]良い練習問題です。 上記記事を「過去記事」と呼ぶ。 過去記事 最近 圏…

階数 r を横に、縦に次元・弱性 ν を取って、圏論的実体の表。 r = 0 r = 1 r = 2 宇宙 U0 U1 U2 ν = 0 Set SET SET ν = 1 Cat CAT CAT ν = s2 s2-Cat s2-CAT s2-CAT ν = w2 Bicat BICAT BICAT truncation は、Cat↓1 など、prolongation Set↑2 など。Set↓0 =…