'Der Kopf, so gesehen, hat mit dem Kopf, so gesehen, auch nicht die leiseste Ahnlichkeit (...)
Der Aspektwechsel.“Du würdest doch sagen, dass sich das Bild jetzt gänzlich geändert hat!” …

String diagrams turn algebraic equations into topological moves that have recurring shapes,
involving the sliding of one diagram past another. We individuate, at the root of this fact, the …

14 a prehistory of n-categorical physics just categories and bicategories). We also include a
review of some relevant aspects of twentieth-century physics. The most obvious roads to n …

A dagger category is a category equipped with a functorial way of reversing morphisms, ie a
contravariant involutive identity-on-objects endofunctor. Dagger categories with additional …

A certain class of Frobenius algebras has been used to characterize orthonormal bases and
observables on finite-dimensional Hilbert spaces. The presence of units in these algebras …

This paper investigates quantum logic from the perspective of categorical logic, and starts
from minimal assumptions, namely the existence of involutions/daggers and kernels. The …

The theory of monads on categories equipped with a dagger (a contravariant identity-on-
objects involutive endofunctor) works best when everything respects the dagger: the monad …

We present a universal construction that relates reversible dynamics on open systems to
arbitrary dynamics on closed systems: the restriction affine completion of a monoidal …

This chapter describes interrelations between:(1) algebraic structure on sets of scalars,(2)
properties of monads associated with such sets of scalars, and (3) structure in categories …

Let M be an open, connected manifold. A classical theorem of McDuff and Segal states that
the sequence of configuration spaces of n unordered, distinct points in M is homologically …