Kan extensions
English
Noun
Kan
extensions
plural of
Kan extension