Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

Dan Christensen

This week the seminar presents:

Omar Antolín Camarena

HoTT lessons for algebraic topologists

The talk is 11:30am-12:30pm EDT (UTC-4) on Thursday, April 6 and will be followed by discussion. See uwo.ca/math/faculty/kapulkin/s for the Zoom link, the abstract, and a list of all upcoming talks.

All are welcome!

@carloangiuli@twtr.plus @carloangiuli@birdsite.wilde.cloud @emilyriehl

www.uwo.caHomotopy Type Theory Electronic Seminar TalksWestern University, in vibrant London, Ontario, delivers an academic and student experience second to none.
Apr 05, 2023, 06:45 PM·Public·Web
1boost·2favorites
SearchLive feeds
About