PanLinx
русский
rus-000
унивалентный функтор
English
eng-000
univalent functor
PanLex