Related papers: Shapely monads and analytic functors
The theory of modular deformations is generalized for the category of complex analytic polyhedra which includes germs of complex space as well as any compact complex analytic space. The objective of the theory is a construction of fine…
This work studies collections of Hilbert space operators which possess a strict monoid structure under composition. These collections can be thought of as discrete unital semigroups for which no subset of the collection is closed under…
Actions of monoidal categories on categories, also known as actegories, have been familiar to category theorists for a long time, and yet a comprehensive overview of this topic seems to be missing from the literature. Recently, actegories…
The Andr\'e-Quillen cohomology of an algebra with coefficients in a module is defined by deriving a functor based on K\"ahler differential forms. It can be computed using a cofibrant resolution of the algebra in a model category structure…
Shape(-and-scale) spaces - configuration spaces for generalized Kendall-type Shape(-and-Scale) Theories - are usually not manifolds but stratified manifolds. While in Kendall's own case - similarity shapes - the shape spaces are…
In this thesis, we present a flexible framework for specifying and constructing operads which are suited to reasoning about network construction. The data used to present these operads is called a \emph{network model}, a monoidal variant of…
We define a traced pseudomonoid as a pseudomonoid in a monoidal bicategory equipped with extra structure, giving a new characterisation of Cauchy complete traced monoidal categories as algebraic structures in Prof, the monoidal bicategory…
A class of models is presented, in the form of continuation monads polymorphic for first-order individuals, that is sound and complete for minimal intuitionistic predicate logic. The proofs of soundness and completeness are constructive and…
The mathematics of crystalline structures connects analysis, geometry, algebra, and number theory. The planar crystallographic groups were classified in the late 19th century. One hundred years later, B\'erard proved that the fundamental…
As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…
We review definitions and basic properties of operads, PROPs and algebras over these structures.
We present new real algebraic maps of non-positive codimensions with prescribed images whose boundaries consist of explicit non-singular real algebraic hypersurfaces satisfying so-called "transversality" as follows. Explicit information on…
The category of all monads over many-sorted sets (and over other "set-like" categories) is proved to have coequalizers and strong cointersections. And a general diagram has a colimit whenever all the monads involved preserve monomorphisms…
This text, based on the author's Bachelor's thesis, introduces the theory of Algebraic Operads, a mathematical formalism that provides a unifying framework for modern algebra. We demonstrate how the fundamental theories of associative,…
We study the analytic and topological invariants associated with complex normal surface singularities. Our goal is to provide topological formulae for several discrete analytic invariants whenever the analytic structure is generic (with…
In this paper, we study shape functions depending on closed submanifolds. We prove a new structure theorem that establishes the general structure of the shape derivative for this type of shape function. As a special case we obtain the…
We study differential graded operads and $p$-adic stable homotopy theory. We first construct a new class of differential graded operads, which we call the stable operads. These operads are, in a particular sense, stabilizations of…
The arrows of a category are elements of particular sets, the hom-sets. These sets are functorial, and their functoriality specifies how to compose the arrows with other arrows of the same category. In particular, it allows to form…
The notion of 2--monoidal category used here was introduced by B.~Vallette in 2007 for applications in the operadic context. The starting point for this article was a remark by Yu. Manin that in the category of quadratic algebras (that is,…
State monads in cartesian closed categories are those defined by the familiar adjunction between product and exponential. We investigate the structure of their algebras, and show that the exponential functor is monadic provided the base…