{"version":"1.0","type":"link","title":"Identity type - Newikis","description":"In type theory, a branch of mathematics, the identity type represents the concept of equality. It is also known as propositional equality to differentiate it from \"judgemental equality\". Equality in type theory is a complex topic and has been the subject of research, such as the field of homotopy…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}