generated at
『圏論的集合論 集合圏とトポス』

2021/3/19





いまさら線型代数といわれても
圏論の方へ
圏の定義
単射・全射・同型射
選択公理
終対象、要素、部分
“X×1=X”
引き戻し、そしてすべての有限極限〔ほか〕