2000 character limit reached
Effectuses in Categorical Quantum Foundations (1910.12198v1)
Published 27 Oct 2019 in quant-ph, cs.LO, and math.CT
Abstract: This thesis develops the theory of effectuses as a categorical axiomatic approach to quantum theory. It provides a comprehensive introduction to effectus theory and reveals its connections with various other topics and approaches.