What formal equalities between rewriting paths have in common with homotopies, Kan complexes and ∞-categories
Report
Ruy De QueirozFollow
Mar. 22, 2023•0 likes•7 views
0 likes
Be the first to like this
Show More
views
Total views
0
On Slideshare
0
From embeds
0
Number of embeds
0
Check these out next
What formal equalities between rewriting paths have in common with homotopies, Kan complexes and ∞-categories
Mar. 22, 2023•0 likes•7 views
0 likes
Be the first to like this
Show More
views
Total views
0
On Slideshare
0
From embeds
0
Number of embeds
0
Download to read offline
Report
Science
II Encontro Brasileiro em Teoria das Categorias, 20 a 24 de Março de 2023
Ruy De QueirozFollow
Recommended
Connections between Logic and Geometry via Term RewritingRuy De Queiroz
Law and Legal uses for blockchain technologiesRuy De Queiroz
Criptografia como aliadoRuy De Queiroz
Privacidade, Segurança, IdentidadeRuy De Queiroz
From Tractatus to Later Writings and BackRuy De Queiroz
Desafios na Interseção entre Direito e TecnologiaRuy De Queiroz