← Back to context Comment by khazhoux 15 hours ago Burritos are just monoids in the category of endotacos. 1 comment khazhoux Reply Octoth0rpe 14 hours ago welp I think I found my favorite comment ever.
welp I think I found my favorite comment ever.