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