§ Kan Extensions: Key idea