表現は普遍元と等しい
前層$ Xの表現は、前層の普遍元と等しい
証明
ベシ圏 p.120]
さほど難しくないmrsekut.icon
https://togetter.com/li/1457236