A McCord Functor for Alexandroff Categories
语言:TeX · GitHub 星标:3 · Fork:0
话题:category-theory · mathematics · thesis · topos-theory
在 GitHub 上查看原仓库