• 1. As a Weighted Colimit. We have
    AXcolim[A](X),

    where in the right hand side we write:

    • A for the functor A:ptSets picking AObj(Sets);
    • X for the functor X:ptSets picking (X,x0)Obj(Sets).


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: