!OBcBvTzVDtcdPQxzuu:matrix.org

Category Theory

36 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
5 Sep 2019
15:15:52@joel135:matrix.orgJoel Sjögren there is a map xy -> yx
15:17:07@joel135:matrix.orgJoel Sjögren i think you could maybe use a "lax functor" to specify the permutations using this map
15:19:36@joel135:matrix.orgJoel Sjögren intead of j(xy)=j(y)j(x) you would have j(xy)=j(x)j(y)->j(y)j(x)
15:19:46@joel135:matrix.orgJoel Sjögren it's a bit foggy in my head
15:22:12@joel135:matrix.orgJoel Sjögren i don't see where i was going with that
15:22:19@khinchin:matrix.orgKhinchin

First of all, for a contravariant functor, the functor maps a morphism f: A \to B where A and B both in C to a morphism Ff: FB -> FA in D where FB and FA both in D.

That is, there is a functor going reverse in a direction.

15:30:39@joel135:matrix.orgJoel Sjögrenit seems like you should want the ability to specify a completely custom variance for the action of j on 1-morphisms (adjectives and nouns), but you still want the action on 2-morphisms (reductions) to be covariant
15:30:51@thosgood:matrix.orgTimyes, yes
15:31:58@joel135:matrix.orgJoel Sjögren that is interesting input to my own (hobby) work on higher categories
15:32:35@thosgood:matrix.orgTimit's an interesting thing (to me, anyway) to think about in general, yeah
15:38:24@joel135:matrix.orgJoel Sjögrenalternatively you can just say that the action of j on 1-morphisms is a function between sets, not necessarily functorial.
15:39:08@joel135:matrix.orgJoel Sjögren * alternatively you can just say that the action of j on 1-morphisms is a function between the sets $J_E(\ast,\ast)$ and $J_S(\ast,\ast)$, not necessarily functorial.
15:39:36@joel135:matrix.orgJoel Sjögren * alternatively you can just say that the action of j on 1-morphisms is a function between sets, not necessarily functorial.
15:41:41@joel135:matrix.orgJoel Sjögren then you don't describe in an abstract way that this action is defined by an induction on the syntax.
15:43:27@joel135:matrix.orgJoel Sjögren(oops, a typo above at 17:30, contravariant -> covariant)
15:43:35@joel135:matrix.orgJoel Sjögren * it seems like you should want the ability to specify a completely custom variance for the action of j on 1-morphisms (adjectives and nouns), but you still want the action on 2-morphisms (reductions) to be covariant
15:43:46@joel135:matrix.orgJoel Sjögren * (oops, a typo above at 17:30, contravariant -> covariant)
15:56:04@joel135:matrix.orgJoel Sjögren and then j is captured entirely as its restriction as a functor between the 1-categories JE(.,.) and JS(.,.). it means that we forget about the monoidal structure for a moment.
15:57:03@thosgood:matrix.orgTimhm, that's an interesting way of seeing it actually
15:57:17@thosgood:matrix.orgTimmove the structure that isn't functorially respected to a higher level
15:59:20@joel135:matrix.orgJoel Sjögren for j : JE -> JS, the nonfunctoriality lives at level 1, and the functoriality at level 2
16:05:01@thosgood:matrix.orgTimoh, that's the opposite of what i thought
16:10:54@joel135:matrix.orgJoel Sjögren (now diverging from the topic by thinking about what it would mean be functorial at levels 1 and 3, but not 2 ...)
16:20:49@joel135:matrix.orgJoel Sjögren even with a non-monoidal j you would still have (u : x -> x') => (j(uy) : j(xy) -> j(x'y)) which is reassuring i think
16:31:20@joel135:matrix.orgJoel Sjögren the thing you don't get is j(uy) = j(u) id. to me this means that the translation could assign context-dependent (y-depdendent) meaning to the reduction u.
16:32:28@thosgood:matrix.orgTim i don't see where j(uy) = j(u) id comes from?
16:33:23@joel135:matrix.orgJoel Sjögren if j were monoidal then you would have j(uv) = j(u)j(v) wouldn't you?
16:34:01@joel135:matrix.orgJoel Sjögren for u : x -> x' and v : y -> y' in JE
16:36:27@joel135:matrix.orgJoel Sjögren i used (v := id a.k.a. y) : y -> (y' := y)
16:37:22@thosgood:matrix.orgTimoh, so y just means id_y

Show newer messages


Back to Room List