til

Copresheaf. Just a diagram, or a presheaf over op-category. Also, a notation I could not recognize at first: Set^→. Just Set^𝟚.