Comment by dunham

My favorite is from Bob Atkey's Quantitative Type Theory paper:

> This work is dedicated to Orwell the dog. Orwell was a good dog and knew well the difference between zero, one, and many

https://bentnib.org/quantitative-type-theory.pdf

(zero, one, many was the ring that the paper used.)