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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Estadual de Campinas
2024-12-01
|
| Series: | Manuscrito |
| Subjects: | |
| Online Access: | http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452024000100404&lng=en&tlng=en |