1. 15
  1. 4

    The universal mapping property (UMP) of the tortilla endofunctor is a formalisation of the following result from Polandball et al:

    TODA FOOD QUE STEPS ON A TORTILLA
    
    BECOMES TACO[1]
    

    The article specifies that this endofunctor is not monoidal, but it’s certainly a projection. Once an object of FÜD has been mapped by Tortilla (into the Taco object), further applications of the endofunctor will result in the same Taco object.

    [1] Ball P. et al “2010 Cultural Heritage Cook-Off”, http://i.imgur.com/erQuQ4s.png