José A. Alonso on Nostr: Categorical foundations of formalized condensed mathematics. ~ Dagur Asgeirsson, ...
Categorical foundations of formalized condensed mathematics. ~ Dagur Asgeirsson, Riccardo Brasca, Nikolas Kuhn, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio, Adam Topaz.
https://arxiv.org/abs/2407.12840 #ITP #Lean4 #Math
Published at
2024-11-13 10:29:22Event JSON
{
"id": "2bf71b08d679445d3ef8fde475d66a249178f2f91660677e9ad9b85a2c7d3542",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731493762,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"Lean4"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113475175204593797",
"activitypub"
]
],
"content": "Categorical foundations of formalized condensed mathematics. ~ Dagur Asgeirsson, Riccardo Brasca, Nikolas Kuhn, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio, Adam Topaz. https://arxiv.org/abs/2407.12840 #ITP #Lean4 #Math",
"sig": "79b277aad963b8c373198aa4723a5f8f72f8f9d1ba517146045dc0a7d0df61a39207ab282d0f668c50ce03f8955b86276a1d65a7c9b26036cfaae547236f201b"
}
