Home Up Previous Next Random
Is it true that a Bool-profunctor is exactly the same as a feasibility relation?
Monotone maps are Bool-functors between Bool-categories, so the definitions line up