Skip to main content
Top

2016 | OriginalPaper | Chapter

Affine Monads and Side-Effect-Freeness

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The notions of side-effect-freeness and commutativity are typical for probabilistic models, as subclass of quantum models. This paper connects these notions to properties in the theory of monads. A new property of a monad (‘strongly affine’) is introduced. It is shown that for such strongly affine monads predicates are in bijective correspondence with side-effect-free instruments. Also it is shown that these instruments are commutative, in a suitable sense, for monads which are commutative (monoidal).

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Abramsky, S., Brandenburger, A.: The sheaf-theoretic structure of non-locality and contextuality. New J. Phys. 13, 113036 (2011)CrossRef Abramsky, S., Brandenburger, A.: The sheaf-theoretic structure of non-locality and contextuality. New J. Phys. 13, 113036 (2011)CrossRef
2.
go back to reference Adámek, J., Velebil, J.: Analytic functors and weak pullbacks. Theor. Appl. Categ. 21(11), 191–209 (2008)MathSciNetMATH Adámek, J., Velebil, J.: Analytic functors and weak pullbacks. Theor. Appl. Categ. 21(11), 191–209 (2008)MathSciNetMATH
3.
go back to reference Adams, R.: QPEL: quantum program and effect language. In: Coecke, B., Hasuo, I., Panangaden, P. (eds.) Electrical Proceedings in Theoretical Computer Science on Quantum Physics and Logic (QPL) 2014, no. 172, pp. 133–153 (2014) Adams, R.: QPEL: quantum program and effect language. In: Coecke, B., Hasuo, I., Panangaden, P. (eds.) Electrical Proceedings in Theoretical Computer Science on Quantum Physics and Logic (QPL) 2014, no. 172, pp. 133–153 (2014)
5.
go back to reference Cho, K.: Total and partial computation in categorical quantum foundations. In: Heunen, C., Selinger, P., Vicary, J. (eds.) Electrical Proceedings in Theoretical Computer Science on Quantum Physics and Logic (QPL) 2015, no. 195, pp. 116–135 (2015) Cho, K.: Total and partial computation in categorical quantum foundations. In: Heunen, C., Selinger, P., Vicary, J. (eds.) Electrical Proceedings in Theoretical Computer Science on Quantum Physics and Logic (QPL) 2015, no. 195, pp. 116–135 (2015)
7.
go back to reference Coecke, B., Heunen, C., Kissinger, A.: Categories of quantum and classical channels. Quantum Inf. Process. 1–31 (2014) Coecke, B., Heunen, C., Kissinger, A.: Categories of quantum and classical channels. Quantum Inf. Process. 1–31 (2014)
9.
go back to reference Furber, R., Jacobs, B.: Towards a categorical account of conditional probability. In: Heunen, C., Selinger, P., Vicary, J. (eds.) Electronic Proceedings in Theoretical Computer Science of Quantum Physics and Logic (QPL) 2015, no. 195, pp. 179–195 (2015) Furber, R., Jacobs, B.: Towards a categorical account of conditional probability. In: Heunen, C., Selinger, P., Vicary, J. (eds.) Electronic Proceedings in Theoretical Computer Science of Quantum Physics and Logic (QPL) 2015, no. 195, pp. 179–195 (2015)
10.
go back to reference Giry, M.: A categorical approach to probability theory. In: Banaschewski, B. (ed.) Categorical Aspects of Topology and Analysis. Lecture Notes in Mathematics, vol. 915, pp. 68–85. Springer, Berlin (1982)CrossRef Giry, M.: A categorical approach to probability theory. In: Banaschewski, B. (ed.) Categorical Aspects of Topology and Analysis. Lecture Notes in Mathematics, vol. 915, pp. 68–85. Springer, Berlin (1982)CrossRef
12.
go back to reference Jacobs, B.: Measurable spaces and their effect logic. In: Logic in Computer Science. IEEE, Computer Science Press (2013) Jacobs, B.: Measurable spaces and their effect logic. In: Logic in Computer Science. IEEE, Computer Science Press (2013)
13.
go back to reference Jacobs, B.: New directions in categorical logic, for classical, probabilistic and quantum logic. Logical Methods in Comp. Sci. 11(3), 1–76 (2015)MathSciNetMATH Jacobs, B.: New directions in categorical logic, for classical, probabilistic and quantum logic. Logical Methods in Comp. Sci. 11(3), 1–76 (2015)MathSciNetMATH
14.
go back to reference Jacobs, B.: Effectuses from monads. In: MFPS 2016 (2016, to appear) Jacobs, B.: Effectuses from monads. In: MFPS 2016 (2016, to appear)
15.
go back to reference Jacobs, B., Mandemaker, J.: The expectation monad in quantum foundations. In: Jacobs, B., Selinger, P., Spitters, B. (eds.) Elecronic Proccedings in Theoretical Computer Science of Quantum Physics and Logic (QPL) 2011, no. 95, pp. 143–182 (2012) Jacobs, B., Mandemaker, J.: The expectation monad in quantum foundations. In: Jacobs, B., Selinger, P., Spitters, B. (eds.) Elecronic Proccedings in Theoretical Computer Science of Quantum Physics and Logic (QPL) 2011, no. 95, pp. 143–182 (2012)
16.
go back to reference Jacobs, B., Westerbaan, B., Westerbaan, B.: States of convex sets. In: Pitts, A. (ed.) FOSSACS 2015. LNCS, vol. 9034, pp. 87–101. Springer, Heidelberg (2015)CrossRef Jacobs, B., Westerbaan, B., Westerbaan, B.: States of convex sets. In: Pitts, A. (ed.) FOSSACS 2015. LNCS, vol. 9034, pp. 87–101. Springer, Heidelberg (2015)CrossRef
17.
go back to reference Jacobs, B., Zanasi, F.: A predicate/state transformer semantics for Bayesian learning. In: MFPS 2016 (2016, to appear) Jacobs, B., Zanasi, F.: A predicate/state transformer semantics for Bayesian learning. In: MFPS 2016 (2016, to appear)
18.
go back to reference Klin, Bartek: Structural operational semantics for weighted transition systems. In: Palsberg, Jens (ed.) Semantics and Algebraic Specification. LNCS, vol. 5700, pp. 121–139. Springer, Heidelberg (2009)CrossRef Klin, Bartek: Structural operational semantics for weighted transition systems. In: Palsberg, Jens (ed.) Semantics and Algebraic Specification. LNCS, vol. 5700, pp. 121–139. Springer, Heidelberg (2009)CrossRef
22.
23.
Metadata
Title
Affine Monads and Side-Effect-Freeness
Author
Bart Jacobs
Copyright Year
2016
DOI
https://doi.org/10.1007/978-3-319-40370-0_5

Premium Partner