Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: event: MIT Categories Seminar

Topic: August 27: Michael Robinson's talk


view this post on Zulip Paolo Perrone (Aug 25 2020 at 18:33):

Hello all! Here's the thread for Michael Robinson's talk, "Assignments to sheaves of pseudometric spaces".

view this post on Zulip Paolo Perrone (Aug 25 2020 at 18:34):

Please note the change in time! This week, and only this week, the talk will be at 2 pm EDT (Boston time).

view this post on Zulip Paolo Perrone (Aug 25 2020 at 18:34):

Zoom meeting:
https://mit.zoom.us/j/280120646
Meeting ID: 280 120 646

Youtube live stream:
https://youtu.be/9PVk-CxUtYw

view this post on Zulip Paolo Perrone (Aug 27 2020 at 17:42):

Hello. We start in 18 minutes!

view this post on Zulip Paolo Perrone (Aug 27 2020 at 18:02):

Here are the slides: slides.pdf

view this post on Zulip Brian Pinsky (Aug 27 2020 at 18:14):

You mentioned the "distance" between an assignment and a global secton. Are you just taking like the product metric to give a sensible notion of distance between assignments?

view this post on Zulip Brian Pinsky (Aug 27 2020 at 18:34):

The construction you're giving for CoarseFilt feels a little bit like taking the nerve of PartCover. Is there a nicer way of expressing that connection?

view this post on Zulip Brian Pinsky (Aug 27 2020 at 18:56):

Thanks for the talk. My dad is very into ham radio, and I think he'd really like the foxhunting example (he doesn't actually understand any math that I do, but he likes trying to). I'll see if I can explain it to him

view this post on Zulip Paolo Perrone (Aug 27 2020 at 20:39):

Video here:
https://youtu.be/_QJ4zDS-K1E