Related papers: Rewriting in Free Hypergraph Categories
We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…
Classical multi-sorted equational theories and their free algebras have been fundamental in mathematics and computer science. In this paper, we present a generalization of multi-sorted equational theories from the classical ($Set$-enriched)…
We extend the free cornering of a symmetric monoidal category, a double categorical model of concurrent interaction, to support branching communication protocols and iterated communication protocols. We validate our constructions by showing…
We construct a separable Frobenius monoidal functor from $\mathcal{Z}\big(\mathsf{Vect}_H^{\omega|_H}\big)$ to $\mathcal{Z}\big(\mathsf{Vect}_G^\omega\big)$ for any subgroup $H$ of $G$ which preserves braiding and ribbon structure. As an…
We consider commutative Frobenius pseudomonoids in the bicategory of spans, and we show that they are in correspondence with 2-Segal cosymmetric sets. Such a structure can be interpreted as a coherent 2-dimensional topological quantum field…
Frobenius algebras in the category of sets and relations ($\mathbf{Rel}$) serve as a unifying framework for various algebraic and combinatorial structures, including groupoids, effect algebras, and abstract circles. Recently, a nerve…
We show how the framework of crossed simplicial groups may be used to provide a classification of topological field theories on open cobordism categories defined by reductions of the structure group to a planar Lie group. Such theories are…
The theme of the paper is the use of commutative Frobenius algebras in braided strict monoidal categories in the study of varieties of circuits and communicating systems which occur in Computer Science, including circuits in which the wires…
We give a new definition of a Frobenius structure on an algebra object in a monoidal category, generalising Frobenius algebras in the category of vector spaces. Our definition allows Frobenius forms valued in objects other than the unit…
The role of types in categorical models of meaning is investigated. A general scheme for how typed models of meaning may be used to compare sentences, regardless of their grammatical structure is described, and a toy example is used as an…
In this chapter we survey some particular topics in category theory in a somewhat unconventional manner. Our main focus will be on monoidal categories, mostly symmetric ones, for which we propose a physical interpretation. These are…
We consider a subclass of the class of group-theoretical fusion categories: To every finite group $G$ and subgroup $H$ one can associate the category of $G$-graded vector spaces with a two-sided $H$-action compatible with the grading. We…
Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…
An affine monoid is an additive monoid which is cancellative, pointed and finitely generated. An affine monoid $\Lambda$ has the partial order defined by $\lambda \le \lambda + \mu$. The Frobenius complex is the order complex of an open…
We enhance the calculus of string diagrams for monoidal categories with hierarchical features in order to capture closed monoidal (and cartesian closed) structure. Using this new syntax we formulate an automatic differentiation algorithm…
We develop a notion of iterated monoidal category and show that this notion corresponds in a precise way to the notion of iterated loop space. Specifically the group completion of the nerve of such a category is an iterated loop space and…
Motivated by the Moore-Segal axioms for an open-closed topological field theory, we consider planar open string topological field theories. We rigorously define a category 2Thick whose objects and morphisms can be thought of as open strings…
This paper has two objectives. The first is to develop the theory of bicategories enriched in a monoidal bicategory -- categorifying the classical theory of categories enriched in a monoidal category -- up to a description of the free…
We show that the category of optics in a monoidal category arises naturally from the free cornering of that category. Further, we show that the free cornering of a monoidal category is a natural setting in which to work with comb diagrams…
We study the general theory of Frobenius algebras with group actions. These structures arise when one is studying the algebraic structures associated to a geometry stemming from a physical theory with a global finite gauge group, i.e.…