Let {(Xi,x0i)}iI be a family of pointed sets.

  1. 1. Functoriality. The assignment {(Xi,x0i)}iI(iIXi,p0) defines a functor
    iI:Fun(Idisc,Sets)Sets.

Item 1: Functoriality
This follows from , of .


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


You can also use the contact form below: