| 4 Feb 2020 |
| 14:08:51 |  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. |
| 19:43:48 |  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 Feb 2020 |
| 08:14:05 | |  chansey97 joined the room. |
| 21 Feb 2020 |
| 14:06:22 | |  alexcleac joined the room. |
| 2 Mar 2020 |
| 22:46:29 | |  esclear joined the room. |
| 13 Mar 2020 |
| 08:43:13 | |  callumreader joined the room. |
| 12:46:43 | |  tad-lispy joined the room. |
| 17 Mar 2020 |
| 22:12:48 | |  @tiredthinker:matrix.org joined the room. |
| 21 Mar 2020 |
| 07:01:24 | | @tiredthinker:matrix.org left the room. |
| 09:03:41 | |  @mona.:matrix.org joined the room. |
| 09:04:32 | | @mona.:matrix.org left the room. |
| 24 Mar 2020 |
| 14:17:47 | |  orahcle joined the room. |
| 23:55:30 |  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:50 | 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 |
| 25 Mar 2020 |
| 00:13:49 |  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:14:32 | Tim | huh, try following the link from |
| 00:14:42 | Tim | https://twitter.com/julesh/status/1242141831057616896 |
| 00:14:53 | Tim | * huh, try following the link from |
| 00:19:58 | chexxor | That worked. Must be an invite code in that link. |
| 00:20:25 | Tim | ah ok, good to know! |
| 27 Mar 2020 |
| 13:38:44 | |  tpmadz joined the room. |
| 28 Mar 2020 |
| 13:24:44 | |  midi[F] invited  midi[P]. |
| 13:24:59 | | midi[P] joined the room. |
| 31 Mar 2020 |
| 09:09:59 | |  nonsolus joined the room. |
| 1 Apr 2020 |
| 20:40:20 | |  @drayd:matrix.org joined the room. |
| 20:41:03 | | @drayd:matrix.org left the room. |
| 4 Apr 2020 |
| 08:30:50 | |  paula_thomas joined the room. |
| 21:55:06 | |  @pallaty:matrix.org joined the room. |
| 22:03:45 | | @pallaty:matrix.org left the room. |
| 6 Apr 2020 |
| 09:20:45 | |  rachit173 joined the room. |
