about me
teaching
publications
contact
gitlab
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?