(no subject)
Feb. 15th, 2018 01:09 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
I think these diagrams move me in the right direction. The idea is to transform a "limit" situation into a "colimit" situation.
upd. T needs to be a separate category with functors going into it from the SH category.
H <- R - > S
f: S -> p
g:H -> u
h: S->H
j: H ->S
S -> X
R -> X

upd. T needs to be a separate category with functors going into it from the SH category.
H <- R - > S
f: S -> p
g:H -> u
h: S->H
j: H ->S
S -> X
R -> X
