Related papers: Rewriting in Free Hypergraph Categories
We associate a diagrammatic monoidal category $\mathcal{H}\textit{eis}_k(A;z,t)$, which we call the quantum Frobenius Heisenberg category, to a symmetric Frobenius superalgebra $A$, a central charge $k \in \mathbb{Z}$, and invertible…
A categorical formalism for directed graphs is introduced, featuring natural notions of morphisms and subgraphs, and leading to two elementary descriptions of the free-properad monad, first in terms of presheaves on elementary graphs,…
We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…
Categorical models of the exponential modality of linear logic will often, but not always, support an operation of differentiation. When they do, we speak of a monoidal differential modality; when they do not, we have merely a monoidal…
When designing plans in engineering, it is often necessary to consider attributes associated to objects, e.g. the location of a robot. Our aim in this paper is to incorporate attributes into existing categorical formalisms for planning,…
We construct Frobenius structures on the $\mathbb{C}^{\times}$-bundle of the complement of a toric arrangement associated with a root system, by making use of a one-parameter family of torsion free and flat connections on it. This gives…
This article gives a solid theoretical grounding to the observation that cubical structures arise naturally when working with parametricity. We claim that cubical models are cofreely parametric. We use categories, lex categories or clans as…
One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and outputs. Given a functor $L \colon…
We construct a compact closed category out of any symmetric monoidal category by freely adding adjoints to its objects. The morphisms of the completion are defined as string diagrams annotated by objects and morphisms from the original…
These are expanded lecture notes from lectures given at the Workshop on higher structures at MATRIX Melbourne. These notes give an introduction to Feynman categories and their applications. Feynman categories give a universal categorical…
We consider heuristic algorithm for solving graph isomorphism problem. The algorithm based on a successive splitting of the eigenvalues of the matrices which are modifications (to positive defined) of graphs' adjacency matrices.…
Let $\mathcal{E}$ be a weakly idempotent complete exact category with enough injective and projective objects. Assume that $\mathcal{M} \subseteq \mathcal{E}$ is a rigid, contravariantly finite subcategory of $\mathcal{E}$ containing all…
Algebraic structures such as monoids, groups, and categories can be formulated within a category using commutative diagrams. In many common categories these reduce to familiar cases. In particular, group objects in Grp are abelian groups,…
Following the pattern of the Frobenius structure usually assigned to the 1-dimensional sphere, we investigate the Frobenius structures of spheres in all other dimensions. Starting from dimension $d=1$, all the spheres are commutative…
For a bialgebra $L$ coacting on a $\Bbbk$-algebra $A$, a classical result states that $A$ is a right $L$-comodule algebra if and only if $A$ is an algebra in the monoidal category $\mathcal{M}^{L}$ of right $L$-comodules; the former notion…
Sorting algorithms are fundamental to computer science, and their correctness criteria are well understood as rearranging elements of a list according to a specified total order on the underlying set of elements. As mathematical functions,…
The goal of the paper is to establish and to investigate a fully faithful embedding of the category of group operads into that of crossed interval groups. For this, we introduce a monoidal structure on the slice of the category of operads…
We study the monoidal closed category of symmetric multicategories, especially in relation with its cartesian structure and with sequential multicategories (whose arrows are sequences of concurrent arrows in a given category). Then we…
Hypergraph categories are symmetric monoidal categories where each object is equipped with a special commutative Frobenius algebra (SCFA). Dagger-hypergraph categories are the same, but with dagger-symmetric monoidal categories and…
This is an overview of double categories of "open systems": systems that can interact with their environment. We focus on the variable sharing paradigm, where we compose open systems by identifying variables. This paradigm is often…