activity
20162020
most citedCategorical Operational Physics

9 citations · 18 across the 2 of their papers we have counts for

collaborators

6 papers

q-bio.NC2020

The Mathematical Structure of Integrated Information Theory

Johannes Kleiner, Sean Tull

Integrated Information Theory is one of the leading models of consciousness. It aims to describe both the quality and quantity of the conscious experience of a physical system, suc…

cs.LO20209 cited

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 mo…

quant-ph2019

Deriving Dagger Compactness

Sean Tull

Dagger compact structure is a common assumption in the study of physical process theories, but lacks a clear interpretation. Here we derive dagger compactness from more operational…

math.CT2019

Monoidal characterisation of groupoids and connectors

Marino Gran, Chris Heunen, Sean Tull

We study internal structures in regular categories using monoidal methods. Groupoids in a regular Goursat category can equivalently be described as special dagger Frobenius monoids…

quant-ph20199 cited

Categorical Operational Physics

Sean Tull

Many insights into the quantum world can be found by studying it from amongst more general operational theories of physics. In this thesis, we develop an approach to the study of s…

math-ph2016

Operational Theories of Physics as Categories

Sean Tull

We introduce a new approach to the study of operational theories of physics using category theory. We define a generalisation of the (causal) operational-probabilistic theories of…