Category Theory

41 Members
a place to discuss category theory, both applied and theoretical, and any other related things | part of the +mathematics:matrix.org community5 Servers

Load older messages

Timestamp Message
4 Feb 2020
14:08:51@joel135:matrix.orgJoel 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@cbertram:matrix.orgChristian BertramOkay, 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:matrix.orgchansey97 joined the room.
21 Feb 2020
14:06:22@alexcleac:matrix.orgalexcleac joined the room.
2 Mar 2020
22:46:29@esclear:tchncs.deesclear joined the room.
13 Mar 2020
08:43:13@callumreader:matrix.orgcallumreader joined the room.
12:46:43@tad-lispy:matrix.orgtad-lispy joined the room.
17 Mar 2020
22:12:48@tiredthinker:matrix.org@tiredthinker:matrix.org joined the room.
21 Mar 2020
07:01:24@tiredthinker:matrix.org@tiredthinker:matrix.org left the room.
09:03:41@mona.:matrix.org@mona.:matrix.org joined the room.
09:04:32@mona.:matrix.org@mona.:matrix.org left the room.
24 Mar 2020
14:17:47@orahcle:matrix.orgorahcle joined the room.
23:55:30@thosgood:matrix.orgTimso there's a new zulip chat room for category theory, in case y'all haven't heard https://categorytheory.zulipchat.com/
23:55:50@thosgood:matrix.orgTimi'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
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@thosgood:matrix.orgTimhuh, try following the link from
00:14:53@thosgood:matrix.orgTim * huh, try following the link from
00:19:58@chexxor:matrix.orgchexxorThat worked. Must be an invite code in that link.
00:20:25@thosgood:matrix.orgTimah ok, good to know!
27 Mar 2020
13:38:44@tpmadz:matrix.orgtpmadz joined the room.
28 Mar 2020
13:24:44@storm89161:feneas.orgmidi[F] invited @storm89161:privacytools.iomidi[P].
13:24:59@storm89161:privacytools.iomidi[P] joined the room.
31 Mar 2020
09:09:59@alanhaskell:matrix.orgnonsolus joined the room.
1 Apr 2020
20:40:20@drayd:matrix.org@drayd:matrix.org joined the room.
20:41:03@drayd:matrix.org@drayd:matrix.org left the room.
4 Apr 2020
08:30:50@paula_thomas:matrix.orgpaula_thomas joined the room.
21:55:06@pallaty:matrix.org@pallaty:matrix.org joined the room.
22:03:45@pallaty:matrix.org@pallaty:matrix.org left the room.
6 Apr 2020
09:20:45@rachit173:matrix.orgrachit173 joined the room.

There are no newer messages yet.

Back to Room List