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