3 Feb 2020 |
Joel Sjögren | * Yes, isomorphism of categories is as bad a concept as equality between objects of a category. | 21:52:05 |
| Søren Skeie joined the room. | 22:08:01 |
4 Feb 2020 |
Joel Sjögren | I think I was wrong when I said "isomorphism of categories is as bad a concept as equality between objects of a category". It is more true that "isomorphism of objects in a general 2-category is as bad a concept as equality between objects of a category" while "isomorphism of categories is as good a concept as equality between sets". | 12:45:32 |
Joel Sjögren | Christian Bertram: If you look into topos theory there is a notion of covering sieve. It is related to your question since the set of all x : X -> A is a covering sieve on A by an axiom called T3. | 14:08:51 |
Christian Bertram | Okay, thanks for clarifying :) I am not yet able to really understand what I can read about covering sieves, but nice to know. I will try to remember it, for when I get closer to that theory. | 19:43:48 |
19 Feb 2020 |
| chansey97 joined the room. | 08:14:05 |
21 Feb 2020 |
| alexcleac joined the room. | 14:06:22 |
2 Mar 2020 |
| esclear joined the room. | 22:46:29 |
13 Mar 2020 |
| callumreader joined the room. | 08:43:13 |
| tad-lispy joined the room. | 12:46:43 |
17 Mar 2020 |
| tiredthinker joined the room. | 22:12:48 |
21 Mar 2020 |
| tiredthinker left the room. | 07:01:24 |
| mona. joined the room. | 09:03:41 |
| mona. left the room. | 09:04:32 |
24 Mar 2020 |
| orahcle joined the room. | 14:17:47 |
Tim | so there's a new zulip chat room for category theory, in case y'all haven't heard https://categorytheory.zulipchat.com/ | 23:55:30 |
Tim | i'm gonna look at setting up a bridge between that room and this, so that people don't have to move over to zulip if they still want to interact | 23:55:50 |
25 Mar 2020 |
chexxor | In reply to @thosgood:matrix.org so there's a new zulip chat room for category theory, in case y'all haven't heard https://categorytheory.zulipchat.com/ "You need an invitation to join this organization" | 00:13:49 |
Tim | huh, try following the link from https://twitter.com/julesh/status/1242141831057616896 ? | 00:14:32 |
Tim | https://twitter.com/julesh/status/1242141831057616896 | 00:14:42 |
Tim | * huh, try following the link from | 00:14:53 |
chexxor | That worked. Must be an invite code in that link. | 00:19:58 |
Tim | ah ok, good to know! | 00:20:25 |
27 Mar 2020 |
| tpmadz joined the room. | 13:38:44 |
28 Mar 2020 |
| midi[F] invited midi[P]. | 13:24:44 |
| midi[P] joined the room. | 13:24:59 |
31 Mar 2020 |
| nonsolus joined the room. | 09:09:59 |
1 Apr 2020 |
| drayd joined the room. | 20:40:20 |
| drayd left the room. | 20:41:03 |
4 Apr 2020 |
| paula_thomas joined the room. | 08:30:50 |