21 citations · 26 across the 6 of their papers we have counts for
6 papers
Categories of Physical Processes
Stanisław Szawiel
We study the mathematical foundations of physics. We reconstruct textbook quantum theory from a single symmetric monoidal functor $GNS : \mathbf{Phys} \longrightarrow \ast\mathbf{M…
Polynomial and Analytic Functors and Monads, revisited
Stanisław Szawiel, Marek Zawadowski
We describe an abstract 2-categorical setting to study various notions of polynomial and analytic functors and monads.
Monads of regular theories
Stanisław Szawiel, Marek Zawadowski
We characterize the category of monads on and the category of Lawvere theories that are equivalent to the category of regular equational theories.
Theories of analytic monads
Stanisław Szawiel, Marek Zawadowski
We characterize the equational theories and Lawvere theories that correspond to the categories of analytic and polynomial monads on Set, and hence also the categories of the symmet…
Rigidity is undecidable
Mikołaj Bojanczyk, Stanisław Szawiel, Marek Zawadowski
We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable.
The Web Monoid and Opetopic Sets
Stanisław Szawiel, Marek Zawadowski
We develop a new definition of opetopic sets. There are two main technical ingredients. The first is the systematic use of fibrations, which are implicit in most of the approaches…