Happy the paper
The Yoneda embedding in simplicial type theory
has been accepted for LICS 2025. Joint work with Jonathan Weinberger & nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqq3gm3ccsquhjk6ha99la7dzkvgft4j83u6au8jxf0alnyj5tq42s5uunwh (nprofile…unwh)
A preprint is available here (https://arxiv.org/abs/2501.13229), but stay tuned for a forthcoming update with slicker proofs!
daniel gratzer
npub1p6…kevjm
2025-04-09 09:12:33 UTC
Author Public Key
npub1p6adh0fwyx6303tm7amv3sjv2nzn9ak0umwtd7n39lvq0rqhdj7slkevjmSeen on
wss://relay.mostr.pubPublished at
2025-04-09 09:12:33 UTCEvent JSON
{
"id": "3a4d8bec76a0ed2e1d91d6e471cb8917c037ae601c90fe2b1800fd92c8458443",
"pubkey": "0ebadbbd2e21b517c57bf776c8c24c54c532f6cfe6dcb6fa712fd8078c176cbd",
"created_at": 1744189953,
"kind": 1,
"tags": [
[
"p",
"0451b8e310072f2b6afd297fdf34566212bac8f1e6bbc3c8c97f7f324a8b0555",
"wss://relay.mostr.pub"
],
[
"p",
"c7b156da145cc23f3348970a56ead50e4d9982635d4543e1315e4128b534b18b",
"wss://relay.mostr.pub"
],
[
"proxy",
"https://mathstodon.xyz/users/danielgratzer/statuses/114307232769645906",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "Happy the paper\n\n The Yoneda embedding in simplicial type theory\n\nhas been accepted for LICS 2025. Joint work with Jonathan Weinberger \u0026 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqq3gm3ccsquhjk6ha99la7dzkvgft4j83u6au8jxf0alnyj5tq42s5uunwh\n\nA preprint is available here (https://arxiv.org/abs/2501.13229), but stay tuned for a forthcoming update with slicker proofs!",
"sig": "1b77b93562c1aa86a423382205f6ae42321c8fceb00d49a65ff1c92b48322a13859b3f3914bdbd029d66a2c3c2ba8abf0aadfa642ae199dc53766414f249c5f4"
}