Mathstodon

Dan ChristensenThis week the <a href="https://mathstodon.xyz/tags/HoTTEST" class="mention hashtag" rel="tag">#HoTTEST</a> seminar presents:Mitchell RileyTiny types and cubical type theoryThe talk is at 11:30am EDT (15:30 UTC) on Thursday, April 17. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See <a href="https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html</a> for the Zoom link and a list of all upcoming talks.All are welcome!<a href="https://mathstodon.xyz/tags/HoTT" class="mention hashtag" rel="tag">#HoTT</a> <a href="https://mathstodon.xyz/@carloangiuli" class="u-url mention">@carloangiuli</a> <a href="https://mathstodon.xyz/@emilyriehl" class="u-url mention">@emilyriehl</a>Abstract:I will present an extension of Martin-Löf Type Theory that contains a tiny object; a type for which there is an "amazing" right adjoint to the formation of function types as well as the expected left adjoint. A primary aim of the theory is to be simple enough to be used both by hand and in a (hypothetical) proof assistant. I will sketch a normalisation algorithm and discuss a few potential applications, in particular, to implementations of Cubical Type Theory.

Dan ChristensenThis week the <a href="https://mathstodon.xyz/tags/HoTTEST" class="mention hashtag" rel="tag">#HoTTEST</a> seminar presents:Jonathan WeinbergerDirected univalence and the Yoneda embedding for synthetic ∞-categoriesThe talk is at 11:30am EST (16:30 UTC) on Thursday, March 6. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See <a href="https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html</a> for the Zoom link, the abstract, and a list of all upcoming talks.All are welcome!<a href="https://mathstodon.xyz/tags/HoTT" class="mention hashtag" rel="tag">#HoTT</a> <a href="https://mathstodon.xyz/@carloangiuli" class="u-url mention">@carloangiuli</a> <a href="https://mathstodon.xyz/@emilyriehl" class="u-url mention">@emilyriehl</a>Abstract:In this talk, I'll present recent results in synthetic ∞-category theory in an extension of homotopy type theory. An ∞-category is analogous to a 1-category, but with composition defined only up to homotopy. To reason about them in HoTT, Riehl and Shulman proposed simplicial HoTT, an extension by a directed interval, generating the shapes that model arrows and their composition.To account for fundamental constructions like the opposite category or the maximal subgroupoid, we add further type formers as modalities using Gratzer-Kavvos-Nuyts-Birkedal's framework of multimodal dependent type theory (MTT).I'll present the construction of the universe 𝒮 of small ∞-groupoids in that setting which we can show to be an ∞-category satisfying directed univalence. As an application, we can define various ∞-categories of interest in higher algebra such as ∞-monoids and ∞-groups. Furthermore, I'll show the construction of the fully functorial Yoneda embedding w.r.t. 𝒮 as well as the Yoneda lemma (which is hard to establish in set-theoretic foundations). [truncated due to space considerations]The material is joint work with Daniel Gratzer und Ulrik Buchholtz (<a href="https://arxiv.org/abs/2407.09146" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://arxiv.org/abs/2407.09146</a>, <a href="https://arxiv.org/abs/2501.13229" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://arxiv.org/abs/2501.13229</a>).

Knowledge Zone<a href="https://mstdn.social/tags/JWST" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#JWST</a> catches <a href="https://mstdn.social/tags/Star" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Star</a> vaporizing the <a href="https://mstdn.social/tags/Hottest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Hottest</a> rocky <a href="https://mstdn.social/tags/Exoplanets" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Exoplanets</a> : MediumHow <a href="https://mstdn.social/tags/NASA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NASA</a>’s <a href="https://mstdn.social/tags/Lunar" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lunar</a> <a href="https://mstdn.social/tags/Trailblazer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Trailblazer</a> Will Make a Looping <a href="https://mstdn.social/tags/Voyage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Voyage</a> to the <a href="https://mstdn.social/tags/Moon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Moon</a> : NASA<a href="https://mstdn.social/tags/Microplastics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Microplastics</a> block <a href="https://mstdn.social/tags/Blood" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Blood</a> flow in the <a href="https://mstdn.social/tags/Brain" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Brain</a>, <a href="https://mstdn.social/tags/Mouse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mouse</a> study reveals : NatureCheck our latest <a href="https://mstdn.social/tags/KnowledgeLinks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#KnowledgeLinks</a><a href="https://knowledgezone.co.in/resources/bookmarks" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://knowledgezone.co.in/resources/bookmarks</a>

Kingsley FelixNew on Inquiral: 19 Steamy Movies to Watch on Netflix.You need to see this! Click now! 🔥<a href="https://mastodon.social/tags/Movies" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Movies</a> <a href="https://mastodon.social/tags/Hottest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Hottest</a> <a href="https://mastodon.social/tags/Netflix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Netflix</a> <a href="https://mastodon.social/tags/Romance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Romance</a> <a href="https://kspm.link/8xtqw" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://kspm.link/8xtqw</a>

Kingsley FelixNew on Inquiral: 9 Hottest Movies Streaming on Tubi.You need to see this! Click now! 🔥<a href="https://mastodon.social/tags/Movies" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Movies</a> <a href="https://mastodon.social/tags/Hottest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Hottest</a> <a href="https://mastodon.social/tags/Romance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Romance</a> <a href="https://mastodon.social/tags/Tubi" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Tubi</a> <a href="https://kspm.link/dzkuk" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://kspm.link/dzkuk</a>

Kingsley FelixNew on Inquiral: 13 Alluring Movies From 2017 Worth Watching.You need to see this! Click now! 🔥<a href="https://mastodon.social/tags/Movies" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Movies</a> #2017 <a href="https://mastodon.social/tags/Hottest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Hottest</a> <a href="https://kspm.link/4eiy7" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://kspm.link/4eiy7</a>

Kingsley FelixNew on Inquiral: The Most Daring and Romantic Movies on HBO Max.You need to see this! Click now! 🔥<a href="https://mastodon.social/tags/Movies" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Movies</a> <a href="https://mastodon.social/tags/HBO" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HBO</a> <a href="https://mastodon.social/tags/HBOMax" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HBOMax</a> <a href="https://mastodon.social/tags/Hottest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Hottest</a> <a href="https://mastodon.social/tags/Romance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Romance</a> <a href="https://kspm.link/j0n8f" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://kspm.link/j0n8f</a>

Kingsley FelixNew on Inquiral: 7 Steamy Movies to Watch on Paramount Plus.You need to see this! Click now! 🔥<a href="https://mastodon.social/tags/Movies" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Movies</a> <a href="https://mastodon.social/tags/Hottest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Hottest</a> <a href="https://mastodon.social/tags/ParamountPlus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ParamountPlus</a> <a href="https://mastodon.social/tags/ParamountPlus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ParamountPlus</a> <a href="https://kspm.link/8y8qf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://kspm.link/8y8qf</a>

Kingsley FelixNew on Inquiral: 17 Hottest Movies Streaming on Hulu.You need to see this! Click now! 🔥<a href="https://mastodon.social/tags/Movies" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Movies</a> <a href="https://mastodon.social/tags/Hottest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Hottest</a> <a href="https://mastodon.social/tags/Hulu" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Hulu</a> <a href="https://kspm.link/2c0cq" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://kspm.link/2c0cq</a>

Kingsley FelixNew on Inquiral: 38 Unforgettable Films for Mature Audiences on Amazon Prime Video.You need to see this! Click now! 🔥<a href="https://mastodon.social/tags/Movies" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Movies</a> <a href="https://mastodon.social/tags/AmazonPrime" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AmazonPrime</a> <a href="https://mastodon.social/tags/Hottest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Hottest</a> <a href="https://mastodon.social/tags/Rewrite" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rewrite</a> <a href="https://kspm.link/qb180" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://kspm.link/qb180</a>

Martin EscardoToday was one of these days I left home at 7am and got back home from work at 8pm. Luckily the commute is nice by bike in the canal, and short too, only <20 minutes (4 miles) each way. Also at least I wasn't doing bureaucracy, but teaching preparation, followed by teaching, followed by a teaching meeting with staff and TA's, followed by more teaching preparation for tomorrow. I love teaching, but I really need to find time to prepare my Thursday <a href="https://mathstodon.xyz/tags/HoTTEST" class="mention hashtag" rel="tag">#HoTTEST</a> talk, preferably not on Thursday, and preferably not in the evening.

Dan ChristensenThis week the <a href="https://mathstodon.xyz/tags/HoTTEST" class="mention hashtag" rel="tag">#HoTTEST</a> seminar presents:Martín Hötzel EscardóInjective typesThe 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 <a href="https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html</a> for the Zoom link, the abstract, and a list of all upcoming talks.All are welcome!<a href="https://mathstodon.xyz/tags/HoTT" class="mention hashtag" rel="tag">#HoTT</a> <a href="https://mathstodon.xyz/@carloangiuli" class="u-url mention">@carloangiuli</a> <a href="https://mathstodon.xyz/@emilyriehl" class="u-url mention">@emilyriehl</a> <a href="https://mathstodon.xyz/@MartinEscardo" class="u-url mention">@MartinEscardo</a> 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.

Knowledge Zone#2025 Starts on <a href="https://mstdn.social/tags/Fire" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Fire</a> — Literally: The <a href="https://mstdn.social/tags/Hottest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Hottest</a> <a href="https://mstdn.social/tags/January" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#January</a> on <a href="https://mstdn.social/tags/Record" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Record</a> : MediumThe Gen Z Catch-22: The <a href="https://mstdn.social/tags/Workforce" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Workforce</a> Changes Threatening <a href="https://mstdn.social/tags/Careers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Careers</a> In 2025 : MediumHow large is the biggest <a href="https://mstdn.social/tags/Galaxy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Galaxy</a> in the <a href="https://mstdn.social/tags/Universe" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Universe</a>? : Big ThinkCheck our latest <a href="https://mstdn.social/tags/KnowledgeLinks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#KnowledgeLinks</a><a href="https://knowledgezone.co.in/resources/bookmarks" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://knowledgezone.co.in/resources/bookmarks</a>

Khurram Wadee ✅<a href="https://mastodon.org.uk/tags/Hottest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Hottest</a> <a href="https://mastodon.org.uk/tags/January" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#January</a> on record mystifies <a href="https://mastodon.org.uk/tags/Climate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Climate</a> <a href="https://mastodon.org.uk/tags/Scientists" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scientists</a> | <a href="https://mastodon.org.uk/tags/ClimateCrisis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ClimateCrisis</a> | The GuardianJust as the planet’s biggest polluter has abandoned any pretence of tackling <a href="https://mastodon.org.uk/tags/GreenhouseGas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#GreenhouseGas</a> <a href="https://mastodon.org.uk/tags/Emissions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Emissions</a>.<a href="https://www.theguardian.com/environment/2025/feb/06/hottest-january-on-record-climate-scientists-global-temperatures-high" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.theguardian.com/environment/2025/feb/06/hottest-january-on-record-climate-scientists-global-temperatures-high</a><a href="https://mastodon.org.uk/tags/Environment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Environment</a> <a href="https://mastodon.org.uk/tags/GlobalWarming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#GlobalWarming</a> <a href="https://mastodon.org.uk/tags/ClimateChange" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ClimateChange</a>

Dan ChristensenThis week the <a href="https://mathstodon.xyz/tags/HoTTEST" class="mention hashtag" rel="tag">#HoTTEST</a> seminar presents:Mario CarneiroLean4Lean: Towards a Verified Typechecker for Lean, in LeanThe talk is at 11:30am EST (16:30 UTC) on Thursday, February 6. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See <a href="https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html</a> for the Zoom link and a list of all upcoming talks.All are welcome!Abstract:This talk will present Lean4Lean, a project to construct a verified checker for the Lean theorem prover in the style of MetaCoq. It consists of a new “external verifier” for Lean, written in Lean. It is the first complete verifier for Lean 4 other than the reference implementation in C++ used by Lean itself, and the new verifier is competitive with the original, running between 20% and 50% slower and usable to verify all of Lean’s mathlib library, forming an additional step in Lean’s aim to self-host the full elaborator and compiler. The second part of the project concerns the type theory itself, and establishing its properties (in spite of several known negative results about the behavior of the type system), with the ultimate goal of being able to show that the verifier is correct to a specification of the type theory, and that the type theory is consistent relative to ZFC with countably many inaccessible cardinals. This work is still ongoing but we plan to use this project to help justify any future changes to the kernel and type theory and ensure unsoundness does not sneak in through either the abstract theory or implementation bugs.<a href="https://mathstodon.xyz/tags/HoTT" class="mention hashtag" rel="tag">#HoTT</a> <a href="https://mathstodon.xyz/@carloangiuli" class="u-url mention">@carloangiuli</a> <a href="https://mathstodon.xyz/@emilyriehl" class="u-url mention">@emilyriehl</a>

LaneI thought that it might be interesting to diary some thoughts tangential to my research from time to time here. I picked up Homotopy Type Theory (<a href="https://social.praxis.nyc/tags/hott" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#hott</a>) and <a href="https://social.praxis.nyc/tags/categorytheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#categorytheory</a> more or less from scratch, albeit with the help of many wonderful guides and tutors from online seminars (<a href="https://social.praxis.nyc/tags/HoTTest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HoTTest</a> Summer School crew and Topos Institute, I'm looking at you). Therefore I've been more or less undisturbed in forming my intuition on these subjects, often drawn to philosophical considerations and themes. 🧵

Dan ChristensenThis week the <a href="https://mathstodon.xyz/tags/HoTTEST" class="mention hashtag" rel="tag">#HoTTEST</a> seminar presents:Paige NorthCoinductive control of inductive data typesThe talk is at 11:30am EST (16:30 UTC) on Thursday, December 5. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See <a href="https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html</a> for the Zoom link, the abstract, and a list of all upcoming talks.All are welcome!<a href="https://mathstodon.xyz/tags/HoTT" class="mention hashtag" rel="tag">#HoTT</a> <a href="https://mathstodon.xyz/@carloangiuli" class="u-url mention">@carloangiuli</a> <a href="https://mathstodon.xyz/@emilyriehl" class="u-url mention">@emilyriehl</a>

Dan ChristensenThis week the <a href="https://mathstodon.xyz/tags/HoTTEST" class="mention hashtag" rel="tag">#HoTTEST</a> seminar presents:Niels van der WeideThe internal languages of univalent categoriesThe talk is at 11:30am EST (16:30 UTC) on Thursday, November 21. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See <a href="https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html</a> for the Zoom link, the abstract, and a list of all upcoming talks.All are welcome!<a href="https://mathstodon.xyz/tags/HoTT" class="mention hashtag" rel="tag">#HoTT</a> <a href="https://mathstodon.xyz/@carloangiuli" class="u-url mention">@carloangiuli</a> <a href="https://mathstodon.xyz/@emilyriehl" class="u-url mention">@emilyriehl</a>

beSpacific<a href="https://newsie.social/tags/Climate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Climate</a>: #2024 promises to be a record year, above the 1.5oC <a href="https://newsie.social/tags/warming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#warming</a> mark. The year 2024 will almost certainly be the <a href="https://newsie.social/tags/hottest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#hottest</a> year on record and the first with an average temperature increase in the world of 1.5 degrees Celsius over the pre-industrial period according to data from European Copernicus service published after the second warmest month of October. <a href="https://newsie.social/tags/ClimateCrisis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ClimateCrisis</a> <a href="https://newsie.social/tags/globalheating" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#globalheating</a> <a href="https://newsie.social/tags/poverty" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#poverty</a> <a href="https://newsie.social/tags/catastrophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#catastrophy</a> <a href="https://newsie.social/tags/drilling" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#drilling</a> <a href="https://newsie.social/tags/fossilfuels" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fossilfuels</a> <a href="https://newsie.social/tags/economy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#economy</a> <a href="https://newsie.social/tags/government" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#government</a> <a href="https://newsie.social/tags/politics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#politics</a> <a href="https://www.tiredearth.com/fr/news/climat-2024-s-annonce-comme-une-annee-record-au-dessus-de-la-barre-d-1-5-c-de-rechauffement" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.tiredearth.com/fr/news/climat-2024-s-annonce-comme-une-annee-record-au-dessus-de-la-barre-d-1-5-c-de-rechauffement</a>

Dan ChristensenThis week the <a href="https://mathstodon.xyz/tags/HoTTEST" class="mention hashtag" rel="tag">#HoTTEST</a> seminar presents:Tashi WaldeAn axiomatization of synthetic category theoryThe talk is at 11:30am EST (16:30 UTC) on Thursday, November 7. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See <a href="https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html</a> for the Zoom link, the abstract, and a list of all upcoming talks.(Note that we are no longer on daylight time, so the local time may have changed for you.)All are welcome!<a href="https://mathstodon.xyz/tags/HoTT" class="mention hashtag" rel="tag">#HoTT</a> <a href="https://mathstodon.xyz/@carloangiuli" class="u-url mention">@carloangiuli</a> <a href="https://mathstodon.xyz/@emilyriehl" class="u-url mention">@emilyriehl</a>

Recent searches

Search options

Administered by:

Server stats:

#hottest