When a kangaroo flies on a plane
Feb. 24th, 2018 10:40 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
timeletsI think I've figured it out for now:
P -> S
P -> T
P -> D
P -> C
P -> A
PxT -> O
maybe A -> P
upd. If P, S, T, D, C, A and O are categories then the arrows are functors, with P and A covered by adjoints. Therefore, relationships b/w them (functors) are natural transformations. Maybe that's the way to think about it.
P -> S
P -> T
P -> D
P -> C
P -> A
PxT -> O
maybe A -> P
upd. If P, S, T, D, C, A and O are categories then the arrows are functors, with P and A covered by adjoints. Therefore, relationships b/w them (functors) are natural transformations. Maybe that's the way to think about it.
