Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

The Journal of Cognitive Science

Integrated Information in Process Theories: Towards Categorical IIT

Sean Tull, Johannes Kleiner

Published Jan 1, 2021• 2 citations
OpenAlex

Abstract

We demonstrate how integrated information and other key notions from Tononi et al.’s Integrated Information Theory (IIT) can be studied within the simple graphical language of process theories (symmetric monoidal categories). This allows IIT to be generalised to a broad range of physical theories, including as a special case the Quantum IIT of Zanardi, Tomka and Venuti, and sets the foundation for a categorical definition of IIT.

Related papers

Integrated Information in Process Theories

Sean Tull, Johannes Kleiner

We demonstrate how the key notions of Tononi et al.'s Integrated Information Theory (IIT) can be studied within the simple graphical language of process theories, i.e. symmetric monoidal categories. This allows IIT to be generalised to a broad range of physical theories, including as a special case the Quantum IIT of Zanardi, Tomka and Venuti.

arXiv:2002.07654•Feb 18, 2020•9 citations

Categories for Quantum Theory

Chris Heunen, Jamie Vicary

Abstract Monoidal category theory serves as a powerful framework for describing logical aspects of quantum theory, giving an abstract language for parallel and sequential composition and a conceptual way to understand many high-level quantum phenomena. Here, we lay the foundations for this categorical quantum mechanics, with an emphasis on the graphical calculus that makes computation intuitive. We describe superposition and entanglement using biproducts and dual objects, and show how quantum teleportation can be studied abstractly using these structures. We investigate monoids, Frobenius structures and Hopf algebras, showing how they can be used to model classical information and complementary observables. We describe the CP construction, a categorical tool to describe probabilistic quantum systems. The last chapter introduces higher categories, surface diagrams and 2-Hilbert spaces, and shows how the language of duality in monoidal 2-categories can be used to reason about quantum protocols, including quantum teleportation and dense coding. Previous knowledge of linear algebra, quantum information or category theory would give an ideal background for studying this text, but it is not assumed, with essential background material given in a self-contained introductory chapter. Throughout the text, we point out links with many other areas, such as representation theory, topology, quantum algebra, knot theory and probability theory, and present nonstandard models including sets and relations. All results are stated rigorously and full proofs are given as far as possible, making this book an invaluable reference for modern techniques in quantum logic, with much of the material not available in any other textbook.

•Nov 19, 2019•103 citations

A Universe of Processes and Some of Its Guises

Bob Coecke

Introduction Our starting point is a particular “canvas” aimed to “draw” theories of physics, which has symmetric monoidal categories as its mathematical backbone. In this chapter, we consider the conceptual foundations for this canvas and how these can then be converted into mathematical structure. With very little structural effort (i.e., in very abstract terms) and in a very short time span, the categorical quantum mechanics (CQM) research program, initiated by Abramsky and this author, has reproduced a surprisingly large fragment of quantum theory [3, 45, 48, 56, 60–62, 170, 179]. It also provides new insights both in quantum foundations and in quantum information —for example, in [49–51, 58, 59, 64, 79, 80]—and has even resulted in automated reasoning software called quantomatic [71–73], which exploits the deductive power of CQM, which is indeed a categorical quantum logic [77]. In this chapter, we complement the available material by not requiring prior knowledge of category theory and by pointing at connections to previous and current developments in the foundations of physics. This research program is also in close synergy with developments elsewhere—for example, in representation theory [74], quantum algebra [176], knot theory [187], topological quantum field theory (TQFT) [132], and several other areas.

arXiv:1009.3786•Cambridge University Press eBooks•Apr 18, 2011•18 citations

Purity through Factorisation

Oscar Cunningham, Chris Heunen

We give a construction that identifies the collection of pure processes (i.e. those which are deterministic, or without randomness) within a theory containing both pure and mixed processes. Working in the framework of symmetric monoidal categories, we define a pure subcategory. This definition arises elegantly from the categorical notion of a weak factorisation system. Our construction gives the expected result in several examples, both quantum and classical.

arXiv:1705.07652•Electronic Proceedings in Theoretical Computer Science•Feb 27, 2018•10 citations

Quantum Mathematical Integrated Information Theory: From the Classical Version

Siddharth Sharma

This paper is an attempt to give a Quantum theory of Mathematical integrated information theory which is mathematical version of integrated information theory by Masafumi Oizumi, Larissa Albantakis, Giulio Tononi. Using the definitions of Classical Mathematical Integrated Information Theory. And considering that the Quantum theory is given by the functor which maps from a category whose objects is topology to a linear category whose objects are Hilbert spaces indexed with the objects from previous category. Also we will be using the definition of conditional density matrix to define repertoire.

•Jan 12, 2021•0 citations

Quantum Mathematical Integrated Information Theory: From the Classical Version

Siddharth Sharma

This paper is an attempt to give a Quantum theory of Mathematical integrated information theory which is mathematical version of integrated information theory by Masafumi Oizumi, Larissa Albantakis, Giulio Tononi [2]. Using the definitions of Classical Mathematical Integrated Information Theory [1]. And considering that the Quantum theory is given by the functor which maps from a category whose objects is topology to a linear category whose objects are Hilbert spaces indexed with the objects from previous category. Also, we will be using the definition of conditional density matrix to define repertoire. We will be also discussing the relationship between consciousness and entanglement.

•Mar 30, 2022•0 citations
We demonstrate how integrated information and other key notions from Tononi et al.’s Integrated Information Theory (IIT) can be studied within the simple graphical language of process theories (symmetric monoidal categories). This allows IIT to be generalised to a broad range of physical theories, including as a special case the Quantum IIT of Zanardi, Tomka and Venuti, and sets the foundation for a categorical definition of IIT.
Abstract Monoidal category theory serves as a powerful framework for describing logical aspects of quantum theory, giving an abstract language for parallel and sequential composition and a conceptual way to understand many high-level quantum phenomena. Here, we lay the foundations for this categorical quantum mechanics, with an emphasis on the graphical calculus that makes computation intuitive. We describe superposition and entanglement using biproducts and dual objects, and show how quantum teleportation can be studied abstractly using these structures. We investigate monoids, Frobenius structures and Hopf algebras, showing how they can be used to model classical information and complementary observables. We describe the CP construction, a categorical tool to describe probabilistic quantum systems. The last chapter introduces higher categories, surface diagrams and 2-Hilbert spaces, and shows how the language of duality in monoidal 2-categories can be used to reason about quantum protocols, including quantum teleportation and dense coding. Previous knowledge of linear algebra, quantum information or category theory would give an ideal background for studying this text, but it is not assumed, with essential background material given in a self-contained introductory chapter. Throughout the text, we point out links with many other areas, such as representation theory, topology, quantum algebra, knot theory and probability theory, and present nonstandard models including sets and relations. All results are stated rigorously and full proofs are given as far as possible, making this book an invaluable reference for modern techniques in quantum logic, with much of the material not available in any other textbook.
Introduction Our starting point is a particular “canvas” aimed to “draw” theories of physics, which has symmetric monoidal categories as its mathematical backbone. In this chapter, we consider the conceptual foundations for this canvas and how these can then be converted into mathematical structure. With very little structural effort (i.e., in very abstract terms) and in a very short time span, the categorical quantum mechanics (CQM) research program, initiated by Abramsky and this author, has reproduced a surprisingly large fragment of quantum theory [3, 45, 48, 56, 60–62, 170, 179]. It also provides new insights both in quantum foundations and in quantum information —for example, in [49–51, 58, 59, 64, 79, 80]—and has even resulted in automated reasoning software called quantomatic [71–73], which exploits the deductive power of CQM, which is indeed a categorical quantum logic [77]. In this chapter, we complement the available material by not requiring prior knowledge of category theory and by pointing at connections to previous and current developments in the foundations of physics. This research program is also in close synergy with developments elsewhere—for example, in representation theory [74], quantum algebra [176], knot theory [187], topological quantum field theory (TQFT) [132], and several other areas.
This paper is an attempt to give a Quantum theory of Mathematical integrated information theory which is mathematical version of integrated information theory by Masafumi Oizumi, Larissa Albantakis, Giulio Tononi. Using the definitions of Classical Mathematical Integrated Information Theory. And considering that the Quantum theory is given by the functor which maps from a category whose objects is topology to a linear category whose objects are Hilbert spaces indexed with the objects from previous category. Also we will be using the definition of conditional density matrix to define repertoire.
This paper is an attempt to give a Quantum theory of Mathematical integrated information theory which is mathematical version of integrated information theory by Masafumi Oizumi, Larissa Albantakis, Giulio Tononi [2]. Using the definitions of Classical Mathematical Integrated Information Theory [1]. And considering that the Quantum theory is given by the functor which maps from a category whose objects is topology to a linear category whose objects are Hilbert spaces indexed with the objects from previous category. Also, we will be using the definition of conditional density matrix to define repertoire. We will be also discussing the relationship between consciousness and entanglement.