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