PanLinx
русский
rus-000
предпучок множеств
English
eng-000
presheaf of sets
PanLex
