generated at
表現は普遍元と等しい
前層Xの表現は、前層の普遍元と等しい

証明
ベシ圏 p.120]
さほど難しくないmrsekut
https://togetter.com/li/1457236