Matthew Doty, I'll give you one better.
[Iverson Bracketing](https://en.wikipedia.org/wiki/Iverson_bracket) gives a homeomorphism (in fact, various) from **Cost**-categories to **Bool**-categories.

I used the ideas behind Iverson Brackets to create my [Just for Fun](https://forum.azimuthproject.org/discussion/1912/just-for-fun-3#latest), err I mean ignore that. ;)