PanLinx
русский
rus-000
тождественный морфизм
English
eng-000
identity morphism
PanLex