223 followers
Learning about the Cahier topos to 'constructively' define dislocations in a crystal using synthetic differential geometry, also wondering how to fit Mermin classification into this formalism. Bridging traditional material science and mathematics. https://