Why FHilb is Not an Interesting (Co)Differential Category

by   Jean-Simon Pacaud Lemay, et al.

Differential categories provide an axiomatization of the basics of differentiation and categorical models of differential linear logic. As differentiation is an important tool throughout quantum mechanics and quantum information, it makes sense to study applications of the theory of differential categories to categorical quantum foundations. In categorical quantum foundations, compact closed categories (and therefore traced symmetric monoidal categories) are one of the main objects of study, in particular the category of finite-dimensional Hilbert spaces FHilb. In this paper, we will explain why the only differential category structure on FHilb is the trivial one. This follows from a sort of in-compatibility between the trace of FHilb and possible differential category structure. That said, there are interesting non-trivial examples of traced/compact closed differential categories, which we also discuss. The goal of this paper is to introduce differential categories to the broader categorical quantum foundation community and hopefully open the door to further work in combining these two fields. While the main result of this paper may seem somewhat "negative" in achieving this goal, we discuss interesting potential applications of differential categories to categorical quantum foundations.



There are no comments yet.


page 1

page 2

page 3

page 4


Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories

A categorical model of the multiplicative and exponential fragments of i...

Ambiguity and Incomplete Information in Categorical Models of Language

We investigate notions of ambiguity and partial information in categoric...

Functorial aggregation

Aggregating data in a database could also be called "integrating along f...

Monoidal Reverse Differential Categories

Cartesian reverse differential categories (CRDCs) are a recently defined...

Composable constraints

We introduce a notion of compatibility between constraint encoding and c...

Executions in (Semi-)Integer Petri Nets are Compact Closed Categories

In this work, we analyse Petri nets where places are allowed to have a n...

A 2-Categorical Study of Graded and Indexed Monads

In the study of computational effects, it is important to consider the n...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.