Related papers: Operadic Definition of Non-Stricts Cells
We define the functor $\textrm{ncDef}_{(Z_1,\ldots,Z_n)}$ of non-commutative deformations of an $n$-tuple of objects in an arbitrary $k$-linear abelian category $\mathcal{Z}$. In our categorified approach, we view the underlying spaces of…
In an unpublished preprint \cite{batanin}, Batanin conjectures that it is possible to take `slices' of a globular operad, thereby isolating the algebraic structure in each dimension. It was further hypothesised that the slices of a globular…
In [KW14], the new concept of Feynman categories was introduced to simplify the discussion of operad--like objects. In this present paper, we demonstrate the usefulness of this approach, by introducing the concept of decorated Feynman…
We present theoretical and practical results on the order theory of lattices of functions, focusing on Galois connections that abstract (sets of) functions - a topic known as higher-order abstract interpretation. We are motivated by the…
In this paper, I introduce a new generalization of the concept of an operad, further generalizing the concept of an opetope introduced by Baez and Dolan, who used this for the definition of their version of non-strict $n$-categories.…
We extend the result of B. Cascales at al. about expand-contract plasticity of the unit ball of strictly convex Banach space to those spaces whose unit ball is the union of all its finite-dimensional polyhedral extreme subsets. We also…
We introduce unary operadic 2-categories as a framework for operadic Grothendieck construction for categorical $\mathbb{O}$-operads, $\mathbb{O}$ being a unary operadic category. The construction is a fully faithful functor…
Batanin and Markl's operadic categories are categories in which each map is endowed with a finite collection of "abstract fibres" -- also objects of the same category -- subject to suitable axioms. We give a reconstruction of the data and…
Notions of `operad' and `multicategory' abound. This work provides a single framework in which many of these various notions can be expressed. Explicitly: given a monad * on a category S, we define the term `(S,*)-multicategory', subject to…
The dynamics of extended objects, such as strings and membranes, has attracted more attention in the past decades since the fundamental objects introduced in high-energy physics are no longer pointlike. Their motion is generally quite…
We introduce the notion of "functional extension" of a set X, by means of two natural algebraic properties of the operator * on unary functions. We study the connections with ultrapowers of structures with universe X, and we give a simple…
Operads are algebraic devices offering a formalization of the concept of operations with several inputs and one output. Such operations can be naturally composed to form bigger and more complex ones. Coming historically from algebraic…
We give a natural notion of (non-exact) integral functor in the context of k-linear and graded categories. In this broader sense, we prove that every k-linear and graded functor is integral.
One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product of 2-categories. In this paper we continue the developments of [3] and [2] by understanding the…
In our recent papers [Sh1,2], we introduced a {\it twisted tensor product} of dg categories, and provided, in terms of it, {\it a contractible 2-operad $\mathcal{O}$}, acting on the category of small dg categories, in which the "natural…
We explore orbits, rational invariant functions, and quotients of the natural actions of connected, not necessarily finite dimensional subgroups of the automorphism groups of irreducible algebraic varieties. The applications of the results…
In a recent work, \cite{cgss}, we developed a functional calculus for bounded operators defined on quaternionic Banach spaces. In this paper we show how the results from \cite{cgss} can be extended to the unbounded case, and we highlight…
A "numerical set-expression" is a term specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. If these operations are confined to the usual Boolean operations together with the result of…
We prove absence of absolutely continuous spectrum for discrete one-dimensional Schr\"odinger operators on the whole line with certain ergodic potentials, $V_\omega(n) = f(T^n(\omega))$, where $T$ is an ergodic transformation acting on a…
The article is devoted to one infinite parametric class of continuous functions with complicated local structure. In the article differential, integral, self-affine and other properties of functions, that their argument is represented by…