Abraham Westerbaan

github

An Introduction to Effectus Theory

21 Dec 2015 [ arXiv ]

with Kenta Cho, Bart Jacobs, and Bas Westerbaan

What would happen if one replaced subobjects S↣X by predicates X→1+1?