THE 2-CATEGORY THEORY OF QUASI-CATEGORIES (21 Jun 2013) 84p https://arxiv.org/abs/1306.5144 HOMOTOPY COHERENT ADJUNCTIONS AND THE FORMAL THEORY OF MONADS (30 Oct 2013) 79p https://arxiv.org/abs/1310.8279 Fibrations and Yoneda's lemma in an…

切り捨て原理 -- 切り捨てても圏 離散化原理 -- 離散化しても圏 モノイド原理 -- 対象が1つならモノイド ホム原理 -- ホムは次元が1下がる エンド原理（追加）-- n-圏のエンドシングはモノイド(n - 1)-圏になる 階層原理 -- 圏の次元とサイズランク 反転原理…