Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras

Mathys Rennela

Type: Article

Publication Date: 2014-10-01

Citations: 15

DOI: https://doi.org/10.1016/j.entcs.2014.10.016

Similar Works

Action	Title	Year	Authors
+	Operator algebras: an informal overview	2011	Fernando Lledó
+	Effect Algebras as Omega-categories	2023	Lorenzo Perticone Robin Adams
+	Operator algebras	2008	Robert Gilmore
+	Operator algebras: an informal overview	2009	Fernando Lledó
+	Theory of operator algebras	2002	正道竹崎
+	Algebras of Operators	2020	Daniel Quillen Gordon Blower
+ PDF Chat	Centering of an operator algebra	1951	Yosinao Misonou Masahiro Nakamura
+ PDF Chat	Domains of Commutative C*-Subalgebras	2015	Chris Heunen Bert Lindenhovius
+ PDF Chat	Principles of operator algebras	2022	Teodor Banica
+ PDF Chat	Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras	2017	Mathys Rennela Sam Staton Robert Furber
+	The symbiosis of C- and W-algebras	2008	Nathanial P. Brown
+	W-Algebra	2004	François Gieres
+	A survey of operator algebras	1971	Irving Kaplansky
+	A SURVEY OF OPERATOR ALGEBRAS	2003	Jean-Luc Sauvageot
+	Model Theory of Operator Algebras	2023
+	Spectral order isomorphisms and AW*-factors	2019	Martin Bohata
+	Spectral order isomorphisms and AW*-factors	2019	Martin Bohata
+	Notes on operator algebras	1993	Seung-Hyeok Kye
+	W*-Algebras	1992
+	Symmetries in exact Bohrification	2018	Klaas Landsman Bert Lindenhovius

Action	Title	Year	Authors
+ PDF Chat	Domains of commutative C*-subalgebras	2019	Chris Heunen Bert Lindenhovius
+ PDF Chat	Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras	2017	Mathys Rennela Sam Staton Robert Furber
+ PDF Chat	The three types of normal sequential effect algebras	2020	Abraham Westerbaan Bas Westerbaan John van de Wetering
+ PDF Chat	Domains of Commutative C*-Subalgebras	2015	Chris Heunen Bert Lindenhovius
+	Dcpos of Commutative C*-subalgebras	2015	Chris Heunen Bert Lindenhovius
+	Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory	2017	Mathys Rennela Sam Staton
+ PDF Chat	Inversion, Iteration, and the Art of Dual Wielding	2019	Robin Kaarsgaard
+ PDF Chat	New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic	2015	Bart Jacobs
+ PDF Chat	Semantics for a Quantum Programming Language by Operator Algebras	2016	Kenta Cho
+ PDF Chat	Total and Partial Computation in Categorical Quantum Foundations	2015	Kenta Cho

Action	Title	Year	Authors
+	Theory of operator algebras	2002	正道竹崎
+	Theory of Operator Algebras II	2003	Masamichi Takesaki
+	C[]-algebras and W[]-algebras	1971	正一郎境
+ PDF Chat	A Course in Functional Analysis.	1986	T. W. Gamelin John B. Conway
+	A note on unitary operators in C∗-algebras	1966	Bernard Russo Heather A. Dye
+	On classifying monotone complete algebras of operators	2007	Kazuyuki Saitô J. D. Maitland Wright
+	Operator Algebras with a Faithful Weakly-Closed Representation	1956	Richard V. Kadison
+	Quantum collections	2017	Andre Kornell
+ PDF Chat	A Course in Functional Analysis	2007	John B. Conway
+	Operator Algebras: Theory of C*-Algebras and von Neumann Algebras	2005	Bruce Blackadar