Conversation

hmmm... is there a nice general setting where i can talk about a category C admitting a "functor of connected components" pi_0:C->Sets? (or maybe i want pro-sets? pierce spectrum?) "C admits a good notion of discrete objects" and pi_0 is the left adjoint or smth

4

1

muh cohesion

1

3

wait oh yeah that is part of that damn guess i have to learn about that sometime...

1

2

QC (in Berlin 7/29-??? w/ COVID

Replying to

and

yeah i have an old post about this (not quite using the full strength of cohesion tho):

qchu.wordpress.com

Connected components in a distributive category

Previously we claimed that if you want to check whether a category $latex C$ “behaves like a category of spaces,” you can try checking whether it’s distributive. The goal of today…

6:22 AM · Jul 13, 2020Twitter for iPad

Replying to

and

pog champion

1

3

3