Related papers: Orientals as free algebras
A modular object in a symmetric monoidal bicategory is a Frobenius algebra object whose product and coproduct are biadjoint, equipped with a braided structure and a compatible twist, satisfying rigidity, ribbon, pivotality, and modularity…
Whereas formal category theory is classically considered within a $2$-category, in this paper a double-dimensional approach is taken. More precisely we develop such theory within the setting of augmented virtual double categories, a notion…
We give an elementary construction of the exact completion of a weakly lex category for categories enriched in the cartesian closed category $\mathsf{Pos}$ of partially ordered sets. Paralleling the ordinary case, we characterize categories…
We define a family of structures called "opetopic algebras", which are algebraic structures with an underlying opetopic set. Examples of such are categories, planar operads, and Loday's combinads over planar trees. Opetopic algebras can be…
Strong Steiner $\omega$-categories are a class of $\omega$-categories that admit algebraic models in the form of chain complexes, whose formalism allows for several explicit computations. The conditions defining strong Steiner…
We introduce a generalization of tridendriform algebras, where each of the three products are replaced by a family of products indexed by a set $\Omega$. We study the needed structure on $\Omega$ for free $\Omega$-tridendriform algebras to…
Forman's Discrete Morse theory is studied from an algebraic viewpoint. Analogous to independent work of Emil Skoeldberg we show that this theory can be extended to chain complexes of free modules over a ring. We provide three applications…
The primary purpose of this work is to characterise strict \omega-categories as simplicial sets with structure. We prove the Street-Roberts conjecture which states that they are exactly the ``complicial sets'' defined and named by John…
We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a…
We introduce the notion of a positive opetope and positive opetopic cardinals as certain finite combinatorial structures. The positive opetopic cardinals to positive-to-one polygraphs are like simple graphs to free omega-categories over…
In this work, I address a primary issue with adapting categorical and algebraic concepts to functional analytic settings, the lack of free objects. Using a "normed set" and associated categories, I describe constructions of normed objects,…
We extend the recently introduced setting of coherent differentiation for taking into account not only differentiation, but also Taylor expansion in categories which are not necessarily (left)additive. The main idea consists in extending…
Motivated by algebraic structures appearing in Rational Conformal Field Theory we study a construction associating to an algebra in a monoidal category a commutative algebra ({\em full centre}) in the monoidal centre of the monoidal…
We decribe the correspondence between normalised $\omega$-operads and certain lax monoidal structures on the category of globular sets. As with ordinary monoidal categories, one has a notion of category enriched in a lax monoidal category.…
Let $\lL(A)$ denote the coendomorphism left $R$-bialgebroid associated to a left finitely generated and projective extension of rings $R \to A$ with identities. We show that the category of left comodules over an epimorphic image of…
We introduce the notion of pie algebra for a 2-monad, these bearing the same relationship to the flexible and semiflexible algebras as pie limits do to flexible and semiflexible ones. We see that in many cases, the pie algebras are…
We define a notion of cofibration among n-categories and show that the cofibrant objects are exactly the free ones, that is those generated by polygraphs.
There are several ways to construct omega-categories from combinatorial objects such as pasting schemes or parity complexes. We make these constructions into a functor on a category of chain complexes with additional structure, which we…
This paper contains results from two areas -- formal theory of Kan extensions and concrete categories. The contribution to the former topic is based on the extension of the concept of Kan extension to the cones and we prove that limiting…
The classical theory of free analysis generalizes the noncommutative (nc) polynomials and rational functions, easily providing such results as an nc analogue of the Jacobian conjecture. However, the classical theory misses out on important…