PanLinx
русский
rus-000
категория группоидов
English
eng-000
category of groupoids
PanLex