タグ : #圏論

κ-small site 上の層の圏は κ-presentable

タイトルの主張を示します。