>>7
All concepts are Kan extensions...