| 4 Feb 2020 |
 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 |
|  @pallaty:matrix.org joined the room. | 21:55:06 |
| @pallaty:matrix.org left the room. | 22:03:45 |
| 6 Apr 2020 |
|  rachit173 joined the room. | 09:20:45 |
