Related papers: The compact double category $\mathbf{Int}(\mathbf{…
A novel kind of irreversible phase transitions (IPT's) driven by an oscillatory input parameter is studied by means of computer simulations. Second order IPT's showing scale invariance in relevant dynamic critical properties are found to…
This is the fourth installment in a series of papers offering models of hierarchical structure for dynamical systems, using the language of polynomial functors. The operad underlying the symmetric monoidal category $(\mathbf{Poly}, \otimes,…
Motivated by (perturbative) quantum observables in Lorentzian signature we define a new operad: the operad of causally disjoint disks. In order to describe this operad we use the orthogonal categories of Benini, Schenkel, and Woike and the…
Copatterns give functional programs a flexible mechanism for responding to their context, and composition can greatly enhance their expressiveness. However, that same expressive power makes it harder to precisely specify the behavior of…
The associative operad is a central structure in operad theory, defined on the linear span of the set of permutations. We build two analogs of the associative operad on the linear span of the set of packed words which turn out to be…
The compactness lemma in programming language theory states that any recursive function can be simulated by a finite unrolling of the function. One important use case it has is in the logical relations proof technique for proving properties…
Symbolic integration over the Haar measure of compact groups is a computational cornerstone in quantum information science and random matrix theory. We present \texttt{IntegrateUnitary.jl}, a comprehensive Julia package for computing exact…
We show that the space of trace-class operators on a Hilbert module over a commutative C*-algebra, as defined and studied in earlier work of Stern and van Suijlekom (Journal of Functional Analysis, 2021), is completely isometrically…
This article serves as a preliminary introduction to the design of a new, open-source applied and computational category theory framework, named Categorica, built on top of the Wolfram Language. Categorica allows one to configure and…
We study a certain type of action of categories on categories and on operads. Using the structure of the categories {\Delta} and {\Omega} governing category and operad structures, respectively, we define categories which instead encode the…
An itegory is a restriction category with a Kleene wand. Cockett, D\'iaz-Bo\"ils, Gallagher, and Hrube\v{s} briefly introduced Kleene wands to capture iteration in restriction categories arising from complexity theory. The purpose of this…
Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional…
We show that morphisms from n A_infinity-algebras to a single one are maps over an operad module with n+1 commuting actions of the operad A_infinity, whose algebras are conventional A_infinity-algebras. Similar statement holds for homotopy…
In this chapter a general mathematical framework for probabilistic theories of operationally understood circuits is laid out. Circuits are comprised of operations and wires. An operation is one use of an apparatus and a wire is a…
Coherence phenomena appear in two different situations. In the context of category theory the term `coherence constraints' refers to a set of diagrams whose commutativity implies the commutativity of a larger class of diagrams. In the…
We want to obtain derivatives in discontinuous program code, where default Algorithmic Differentiation may not perform well. Specifically, we consider discontinuities induced by control flow statements, where meaningful derivatives should…
We prove two theorems about Goodwillie calculus and use those theorems to describe new models for Goodwillie derivatives of functors between pointed compactly-generated infinity-categories. The first theorem say that the construction of…
A modified trace for a finite k-linear pivotal category is a family of linear forms on endomorphism spaces of projective objects which has cyclicity and so-called partial trace properties. We show that a non-degenerate modified trace…
Most often, in a categorical semantics for a programming language, the substitution of terms is expressed by composition and finite products. However this does not deal with the order of evaluation of arguments, which may have major…
This paper proposes a novel control approach composed of sinusoidal reference trajectories and trajectory tracking controller for the second-order chained form system. The system is well-known as a canonical form for a class of second-order…