José A. Alonso on Nostr: The formal theory of monads, univalently. ~ Niels van der Weide. ...
Published at
2025-01-14 08:35:30Event JSON
{
"id": "0cf16811452a0905273b761783a37fb0b7765e61458c6295804be025937a5e5c",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736843730,
"kind": 1,
"tags": [
[
"t",
"rocq"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113825790710235271",
"activitypub"
]
],
"content": "The formal theory of monads, univalently. ~ Niels van der Weide. https://arxiv.org/abs/2212.08515 #ITP #Coq #Rocq",
"sig": "46306de5b7b169f472092dc453e70b66b6667a0e50ce2ed0ccfaddc4017764472b856346bff0a066e5c6cdb16d8181dcec769b7a3f77dea680372e627996e558"
}
