Does Identity Make Sense?
Abstract In this paper we present novel conceptions of identity arising in and motivated by a recently emerged branch of mathematical logic, namely, Homotopy Type theory (HoTT). We consider an established 2013 version of HoTT as well as its more recent generalised version called Directed HoTT or Dir...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
2024-12-01
|
| Col·lecció: | Manuscrito |
| Matèries: | |
| Accés en línia: | http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452024000100404&lng=en&tlng=en |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|