Category Theory

87 Members
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra || part of the +mathematics:matrix.org community6 Servers

Load older messages

27 Aug 2020
@joel135:matrix.orgJoel SjögrenIt sounds like a complete argument to me.19:00:42
@flonk_:matrix.orgFlonkmaster3000Hah the few uni maths courses I had had me always spell out the maths, but I have been writing prose for most of these exercises19:02:26
@thosgood:matrix.orgTimsometimes prose is a much nicer way of writing about maths!19:29:36
@thosgood:matrix.orgTimand yes, I honestly don't think I'd change anything about the way you've written that proof — it's really slick!19:30:47
@flonk_:matrix.orgFlonkmaster3000Thanks I guess :) If you guys are happy with the argument then I am too!19:31:52
4 Sep 2020
@mineorbit:matrix.orgmineorbit joined the room.19:45:00
5 Sep 2020
@lorenzuru:matrix.orgLorenzo joined the room.10:04:56
8 Sep 2020
@unrooted:matrix.orgunrooted joined the room.13:45:08
9 Sep 2020
@diamondtoken:matrix.orgdiamondtoken joined the room.00:18:37
10 Sep 2020
@cain_sinclair:matrix.orgcain_sinclair joined the room.12:21:20
21 Sep 2020
@darkharmony9999:matrix.orgdarkharmony9999 joined the room.20:58:15
22 Sep 2020
@ineff:matrix.orgineff 21:12:16
24 Sep 2020
@jdhua:matrix.orgJingdan Hua joined the room.13:33:59
3 Oct 2020
@jehaverlack:matrix.orgjehaverlack left the room.21:49:31
10 Oct 2020
@yellowb:matrix.orgyellowb joined the room.14:23:21
13 Oct 2020
@konohamaru:matrix.orgkonohamaru joined the room.06:15:17
15 Oct 2020
@anton.molyboha:matrix.organton.molyboha joined the room.00:41:29
16 Oct 2020
@arnidg:matrix.orgarnidg joined the room.01:21:52
@arnidg:matrix.orgarnidg left the room.01:31:30
18 Oct 2020
@yellowb:matrix.orgyellowb set a profile picture.17:53:45
27 Oct 2020
@donker-darw:matrix.orgdonker-darw joined the room.07:22:13
29 Oct 2020
@haryakshaay:matrix.orgamadeus joined the room.18:25:17
1 Nov 2020
@jdzeckor:matrix.orgEliyahuTheMuslim joined the room.13:48:27
@3z3:matrix.org3z3 joined the room.18:47:52
11 Nov 2020
@yellowb:matrix.orgyellowb changed their profile picture.11:34:26
@yellowb:matrix.orgyellowb changed their profile picture.11:35:09
@yellowb:matrix.orgyellowb changed their profile picture.11:36:09
20 Nov 2020
@hamnox:matrix.orghamnox joined the room.10:06:02
@hamnox:matrix.orghamnox changed their profile picture.10:45:39
21 Nov 2020
@gareppa:matrix.orggareppa left the room.23:11:26

There are no newer messages yet.

Back to Room List