積(product)とかファイバー積(fibre product)を表現可能関手で書けることを最近知ったのだけれど,どうやら人類の常識っぽいので備忘録として残しておく.
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。