2 papers
math.AT2025
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…
quant-ph2025
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…