timelets: (Default)
timelets ([personal profile] timelets) wrote2018-02-15 01:09 pm

(no subject)

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