#圏論 #擬似圏論
米田埋め込みはなぜ「埋め込み」と呼ばれているのか、を圏論的に説明することはできるのだろうか。
ベシ圏の説明はちょっと集合論的だよなあ……そもそも「埋め込み」ってなんだ？引き戻しとして与えられる関手のこと？わからん……