6 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 lists in operad theory I
Redi Haderi, Özgün Ünlü
We define a category whose objects are sets and morphisms are mappings which assign to an element in the domain an ordered sequence (list) of elements in the codoma…
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…
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…
Colimits of categories, zig-zags and necklaces
Redi Haderi
Given a diagram of small categories , we provide a combinatorial description of its colimit in terms of the indexing category and the categories…
A simplicial category for higher correspondences
Redi Haderi
In this work we propose a realization of Lurie's prediction that inner fibrations are classified by -indexed diagrams in a ``higher category" whose objects…