Related papers: Classifying Vectoids and Generalisations of Operad…

Let $A$ be an algebra over an operad in a cocomplete closed symmetric monoidal category. We study the category of $A$-modules. We define certain symmetric product functors of such modules generalising the tensor product of modules over…

We study the existence and left properness of transferred model structures for "monoid-like" objects in monoidal model categories. These include genuine monoids, but also all kinds of operads as for instance symmetric, cyclic, modular,…

In analogy with the classical theory of topological groups, for finitely complete categories enriched with Grothendieck topologies, we provide the concepts of localized G-topological space, initial Grothendieck topologies and continuous…

Since the time when the first optical instruments have been invented, an idea that the visible image of an object under observation depends on tools of observation became commonly assumed in physics. A way to formalize it in mathematics is…

We generalize the construction of multitildes in the aim to provide multitilde operators for regular languages. We show that the underliying algebraic structure involves the action of some operads. An operad is an algebraic structure that…

Although the vectorization operation is known and well-defined, it is only defined for 2-D matrices, and its inverse isn't as well-popularized. This work proposes to generalize the vectorization to higher dimensions, and define…

We complete the classification of algebraic monoid structures on the affine 3-space. The result is based on a reduction of the general case to that of commutative monoids. We also study various algebraic properties of all monoids appearing…

In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain…

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 introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…

The manuscript is an overview of the motivations and foundations lying behind Voevodsky's ideas of constructing categories similar to the ordinary topological homotopy categories. The objects of these categories are strictly related to…

Curved algebras are a generalization of differential graded algebras which have found numerous applications recently. The goal of this foundational article is to introduce the notion of a curved operad, and to develop the operadic calculus…

This work presents the tessellations and polytopes from the perspective of both n-dimensional geometry and abstract symmetry groups. It starts with a brief introduction to the terminology and a short motivation. In the first part, it…

Lenses may be characterised as objects in the category of algebras over a monad, however they are often understood instead as morphisms, which propagate updates between systems. Working internally to a category with pullbacks, we define…

We introduce a functorial construction which, from a monoid, produces a set-operad. We obtain new (symmetric or not) operads as suboperads or quotients of the operad obtained from the additive monoid. These involve various familiar…

The paper introduces the class of O-metric spaces, a novel generalization of metric-type spaces, classifying almost all possible metric types into upward and downward O-metrics. We list some topologies arising from O-metrics and discuss…

Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…

We propose an abstract definition of convex spaces as sets where one can take convex combinations in a consistent way. A priori, a convex space is an algebra over a finitary version of the Giry monad. We identify the corresponding Lawvere…

We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced.

Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type…