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.
The universal mapping property (UMP) of the tortilla endofunctor is a formalisation of the following result from Polandball et al:
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