5 papers
Double categories for adaptive quantum computation
Cihan Okay, Walker Stern, Redi Haderi +1
Quantum computation admits several models that emphasize different computational primitives and forms of classical control. We develop a unified double categorical framework for de…
Simplicial effects and weakly associative partial groups
Cihan Okay, Victor Castillo, Walker H. Stern
In this paper, we introduce a new category of simplicial effects that extends the categories of effect algebras and their multi-object counterpart, effect algebroids. Our approach…
An -monoidal Grothendieck construction
Redi Haderi, Walker H. Stern
Given an operad , we define a notion of weak -monoids -- which we term -pseudomonoids -- in a 2-category. In the special case with the 2-cate…
Twisted simplicial distributions
Cihan Okay, Walker H. Stern
We introduce a theory of twisted simplicial distributions on simplicial principal bundles, which allow us to capture Bell's non-locality, and the more general notion of quantum con…
The operadic theory of convexity
Redi Haderi, Cihan Okay, Walker H. Stern
In this article, we characterize convexity in terms of algebras over a PROP, and establish a tensor-product-like symmetric monoidal structure on the category of convex sets. Using…