Identity types in context The n-Category Café, 26 Jul 2022 guest post by Shreya Arya andGreta CoragliaThe relation between mathematicians and the notion of identity has been an…