This week the #HoTTEST seminar presents: Martín Hötzel Escardó Injective types The ...

Dan Christensen /

npub1af2…ry5m

2025-02-18 17:39:15

This week the #HoTTEST seminar presents:

Martín Hötzel Escardó

Injective types

The talk is at 11:30am EST (16:30 UTC) on Thursday, February 20. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html for the Zoom link, the abstract, and a list of all upcoming talks.

All are welcome!

#HoTT nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqxhmu64qvpl0efrty68zzwut2eg20dc354wz6mjd0jm9ml2crqusq8dtphs (nprofile…tphs) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqc4vucecpcf27qslem8kxxsetr4rz65yrtpjjxakgacxcakg43s0sja4508 (nprofile…4508) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqez3yya8tpgge7lk4jq2zxz0cj3d2mcgev9mffd4ec7tfy84hre4sqchszg (nprofile…hszg)

Abstract:

In previous work, we established results about injective types in HoTT/UF, including characterizations, closure properties, and examples. In recent current work, in collaboration with Tom de Jong, we have developed more examples and counter-examples, as well as a better understanding of the landscape. In this talk I will present these old and new ideas.

Author Public Key

npub1af2svj7c2gyetj7nah7zr2tsnuwl6jnks7apg5ks22sezajp09wq7dry5m

Seen on

wss://relay.mostr.pub

Show more details

Published at

2025-02-18 17:39:15

Kind type

1 Short Text Note

Event JSON

{ "id": "36cc294e7f2df98aac2f50f904e51ce50cd4c7d3583a3e5fa0f11764f5831791", "pubkey": "ea55064bd8520995cbd3edfc21a9709f1dfd4a7687ba1452d052a1917641795c", "created_at": 1739900355, "kind": 1, "tags": [ [ "p", "35f7cd540c0fdf948d64d1c427716aca14f6e234ab85adc9af96cbbfab030720", "wss://relay.mostr.pub" ], [ "p", "c559cc6701c255e043f9d9ec63432b1d462d508358652376c8ee0d8ed9158c1f", "wss://relay.mostr.pub" ], [ "p", "c8a24274eb0a119f7ed590142309f8945aade119617694b6b9c796921eb71e6b", "wss://relay.mostr.pub" ], [ "p", "5c675fe7561c52f2c0ea8db391d2c3a46556bec9a3c0a4b4f10f234fe03f58ca", "wss://relay.mostr.pub" ], [ "p", "68ecff462b7a9ff6eacd7b667d6aaa94719e049a59f80ef5ae19c9fff1867692", "wss://relay.mostr.pub" ], [ "p", "03cac3089ed1c4ff3e02770603e886a10e6a7fb5949d131d09f5524cf967e367", "wss://relay.mostr.pub" ], [ "t", "hott" ], [ "t", "hottest" ], [ "proxy", "https://mathstodon.xyz/users/jdchristensen/statuses/114026109706575383", "activitypub" ] ], "content": "This week the #HoTTEST seminar presents:\n\nMartín Hötzel Escardó\n\nInjective types\n\nThe talk is at 11:30am EST (16:30 UTC) on Thursday, February 20. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html for the Zoom link, the abstract, and a list of all upcoming talks.\n\nAll are welcome!\n\n#HoTT nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqxhmu64qvpl0efrty68zzwut2eg20dc354wz6mjd0jm9ml2crqusq8dtphs nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqc4vucecpcf27qslem8kxxsetr4rz65yrtpjjxakgacxcakg43s0sja4508 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqez3yya8tpgge7lk4jq2zxz0cj3d2mcgev9mffd4ec7tfy84hre4sqchszg \n\nAbstract:\n\nIn previous work, we established results about injective types in HoTT/UF, including characterizations, closure properties, and examples. In recent current work, in collaboration with Tom de Jong, we have developed more examples and counter-examples, as well as a better understanding of the landscape. In this talk I will present these old and new ideas.", "sig": "3fda950b62e103c4f2897b617e29dedbbd8a8ffae841a08cc6f2b58999e6da6f4ef5aedf517699c587704290bec886436f9003540b3c4d24b7dce72b70178315" }