Kan_extension loading ...