Azimuth Forum
Visit Site
Matthew Doty - in Puzzle 87 I was implicitly making **Bool** into a symmetric monoidal poset as in Puzzle 86. With this choice, it's not true that **Bool**-enriched categoreis are symmetric monoidal preorders.
What are they really?
Version 2.1.8p2