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...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Artigo |
| Lingua: | Inglês |
| Pubblicazione: |
UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
2024-12-01
|
| Serie: | Manuscrito |
| Soggetti: | |
| Accesso online: | http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452024000100404&lng=en&tlng=en |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|