PanLinx
English
eng-000
complete presheaf
русский
rus-000
полный предпучок
PanLex