Category Theory

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

Load older messages

Timestamp Message
6 Oct 2019
02:36:36@runslick:matrix.orgrunslick changed their profile picture.
02:36:52@runslick:matrix.orgrunslick changed their profile picture.
02:41:04@runslick:matrix.orgrunslick changed their profile picture.
12:05:45@appservice-irc:matrix.org@appservice-irc:matrix.orgchanged room power levels.
12:05:45@appservice-irc:matrix.org@appservice-irc:matrix.orgchanged room power levels.
12:06:30@freenode_ChanServ:matrix.orgChanServ joined the room.
12:07:46@freenode_ChanServ:matrix.orgChanServ left the room.
7 Oct 2019
04:00:32@micahscopes:matrix.orgmicahscopes joined the room.
16:34:22@appservice-irc:matrix.org@appservice-irc:matrix.orgchanged room power levels.
16:48:19@appservice-irc:matrix.org@appservice-irc:matrix.orgchanged room power levels.
21:00:06@thosgood:matrix.orgTimadmin message: going to be disabling the IRC bridge for a while; need to sort out some behind the scenes stuff
21:01:32@freenode_thosgood:matrix.orgthosgood joined the room.
21:03:00@freenode_thosgood:matrix.orgthosgood left the room.
21:03:00@appservice-irc:matrix.org@appservice-irc:matrix.orgchanged room power levels.
13 Oct 2019
17:10:27@ineff:matrix.orgineff joined the room.
14 Oct 2019
01:01:50@runslick:matrix.orgrunslick changed their profile picture.
17 Oct 2019
20:45:58@ba-macadam:matrix.orgba-macadam joined the room.
19 Oct 2019
22:39:18@aliris:matrix.orgaliris joined the room.
22:42:12@aliris:matrix.orgaliris left the room.
24 Oct 2019
11:06:40@hoxtrop:matrix.orgHoxtrop joined the room.
26 Oct 2019
14:25:38@gareppa:matrix.orggareppa joined the room.
16:48:30@gareppa:matrix.orggareppa changed their profile picture.
31 Oct 2019
10:27:03@gareppa:matrix.orggareppa changed their profile picture.
10:29:21@gareppa:matrix.orggareppa changed their profile picture.
10:30:11@gareppa:matrix.orggareppa changed their profile picture.
12:39:26@gareppa:matrix.orggareppa changed their profile picture.
2 Nov 2019
22:32:04@runslick:matrix.orgrunslick changed their profile picture.
7 Nov 2019
23:34:17@ba-macadam:matrix.orgba-macadam set a profile picture.
10 Nov 2019
19:44:52@hoxtrop:matrix.orgHoxtrop left the room.
12 Nov 2019
22:51:24@.jona:matrix.org.jona joined the room.

There are no newer messages yet.

Back to Room List