!OBcBvTzVDtcdPQxzuu:matrix.org

Category Theory

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

Load older messages


Timestamp Message
2 Sep 2019
11:16:54@appservice-irc:matrix.org@appservice-irc:matrix.orgchanged room power levels.
11:17:56@freenode_ChanServ:matrix.org@freenode_ChanServ:matrix.org joined the room.
11:20:16@freenode_ChanServ:matrix.org@freenode_ChanServ:matrix.org left the room.
11:20:16@appservice-irc:matrix.org@appservice-irc:matrix.orgchanged room power levels.
21:21:34@runslick:matrix.orgrunslick joined the room.
22:00:02@freenode_osoba:matrix.org@freenode_osoba:matrix.org left the room.
22:00:05@freenode_Khinchin[m]:matrix.org@freenode_Khinchin[m]:matrix.org left the room.
3 Sep 2019
00:35:07@appservice-irc:matrix.org@appservice-irc:matrix.orgchanged room power levels.
00:35:07@appservice-irc:matrix.org@appservice-irc:matrix.orgchanged room power levels.
00:35:31@freenode_ChanServ:matrix.org@freenode_ChanServ:matrix.org joined the room.
00:35:42@freenode_ChanServ:matrix.org@freenode_ChanServ:matrix.org left the room.
00:35:43@appservice-irc:matrix.org@appservice-irc:matrix.orgchanged room power levels.
14:54:54@runslick:matrix.orgrunslick set a profile picture.
21:18:16@laurundo:matrix.orglaurundo joined the room.
4 Sep 2019
13:34:24@hpd:hpdeifel.dehpd joined the room.
15:48:02@matrix-maths-bot:matrix.org@matrix-maths-bot:matrix.org left the room.
23:56:00@wilda:matrix.orgwilda joined the room.
23:58:53@wilda:matrix.orgwilda set a profile picture.
5 Sep 2019
02:23:16@runslick:matrix.orgrunslick changed their profile picture.
10:25:10@runslick:matrix.orgrunslick changed their profile picture.
14:35:03@thosgood:matrix.orgTimScreenshot 2019-09-05 at 16.34.43.png
Screenshot 2019-09-05 at 16.34.43.png
14:35:31@thosgood:matrix.orgTimI don't really understand this problem about a functor having to be single valued, how it relates to what we have here...
14:35:51@thosgood:matrix.orgTimwhy can the functor not just be contravariant in some sense? sending a left action to a right action?
14:36:09@thosgood:matrix.orgTim(from https://arxiv.org/pdf/1811.11041.pdf) (Translating and Evolving: Towards a Model of LanguageChange in DisCoCat)
14:36:32@thosgood:matrix.orgTim * (from https://arxiv.org/pdf/1811.11041.pdf) (Translating and Evolving: Towards a Model of LanguageChange in DisCoCat)
14:40:33@joel135:matrix.orgJoel SjögrenCan you define grammar category?
14:41:42@joel135:matrix.orgJoel Sjögrenplease
14:43:07@thosgood:matrix.orgTimit's the free compact closed category on the sets of types
14:44:56@joel135:matrix.orgJoel Sjögrenok thanks
14:47:39@joel135:matrix.orgJoel Sjögrenso you want j(xy) = j(y)j(x)

Show newer messages


Back to Room List