104 citations · 160 across the 8 of their papers we have counts for
Showing 2015 · cs.LOShow all
3 papers · 2 filters
cs.LO2015
An Introduction to Effectus Theory
Kenta Cho, Bart Jacobs, Bas Westerbaan +1
Effectus theory is a new branch of categorical logic that aims to capture the essentials of quantum logic, with probabilistic and Boolean logic as special cases. Predicates in effe…
cs.LO2015★ 15 cited
Quotient-Comprehension Chains
Kenta Cho, Bart Jacobs, Bas Westerbaan +1
Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehensi…
cs.LO2015★ 6 cited
Total and Partial Computation in Categorical Quantum Foundations
Kenta Cho
This paper uncovers the fundamental relationship between total and partial computation in the form of an equivalence of certain categories. This equivalence involves on the one han…