バンドル射 ＝ アロー圏の射 バンドル射がアロー圏のCodに関するデカルト射＝バンドル射がプルバック四角形 バンドル射がプルバック四角形 ＝ エタール射 ＝ 局所同型

一般代数学 ： ローヴェアセオリー ＝ 型理論 ： C-システム その状況証拠は： [Voe15] Title: Lawvere theories and C-systems Author: Vladimir Voevodsky Submitted: 26 Dec 2015 Pages: 15p URL: https://arxiv.org/abs/1512.08104 長さ双射〈l-bijectiv…