@conal Why is the discrete version "not FRP"? Categories should cut the world at its joints, and they seem more similar than different.

 — @yminsky