相关论文: Colimites en la categor\'ia de operads sim\'etrico…
We give a Quillen equivalence between model structures for simplicial operads, described via the theory of operads, and Segal operads, thought of as certain reduced dendroidal spaces. We then extend this result to give an Quillen…
Lenses are an important tool in applied category theory. While individual lenses have been widely used in applications, many of the mathematical properties of the corresponding categories of lenses have remained unknown. In this paper, we…
In the present paper we suggest a construction of symmetric functionals on a large class of symmetric spaces over a semifinite von Neumann algebra. This approach establishes a bijection between the symmetric functionals on symmetric spaces…
I describe a generalization of the notion of operadic category due to Batanin and Markl. For each such operadic category I describe a skew monoidal category of collections, such that a monoid in this skew monoidal category is precisely an…
We present a method of constructing symmetric monoidal bicategories from symmetric monoidal double categories that satisfy a lifting condition. Such symmetric monoidal double categories frequently occur in nature, so the method is widely…
Differentiations of operator algebras over non-archimedean spherically complete fields are investigated. Theorems about a differentiation being internal are demonstrated.
Some constructions and bounds on the sizes of semiovals contained in the Hermitian curve are given. A construction of an infinite family of 2-blocking sets of the Hermitian curve is also presented.
We prove, under mild assumptions, that a Quillen equivalence between symmetric monoidal model categories gives rise to a Quillen equivalence between their model categories of (non-symmetric) operads, and also between model categories of…
We introduce and study the notion of orthosymmetric spaces over an Archimedean vector lattice as a generalization of finite-dimentional Euclidean inner spaces. A special attention has been paid to linear operators on these spaces.
A theorem of Kontsevich relates the homology of certain infinite dimensional Lie algebras to graph homology. We formulate this theorem using the language of reversible operads and mated species. All ideas are explained using a pictorial…
We say that an operator $T \in B(H)$ is complex symmetric if there exists a conjugate-linear, isometric involution $C:H\to H$ so that $T = CT^*C$. We prove that binormal operators, operators that are algebraic of degree two (including all…
In this paper we prove some results on the covering morphisms of internal groupoids. We also give a result on the coverings of the crossed modules of groups with operations.
We study differential operators on an elliptic curve of order higher than 2 which are algebraically integrable (i.e., finite gap). We discuss classification of such operators of order 3 with one pole, discovering exotic operators on special…
In this paper we present equivalence results for several types of unbounded operator functions. A generalization of the concept equivalence after extension is introduced and used to prove equivalence and linearization for classes of…
Higher structures - infinity algebras and other objects up to homotopy, categorified algebras, `oidified' concepts, operads, higher categories, higher Lie theory, higher gauge theory... - are currently intensively investigated in…
This is the first part of a series of papers. The whole series aims to develop the tools for the study of all almost Hermitian symmetric structures in a unified way. In particular, methods for the construction of invariant operators, their…
An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a…
We construct a compact closed category out of any symmetric monoidal category by freely adding adjoints to its objects. The morphisms of the completion are defined as string diagrams annotated by objects and morphisms from the original…
A data structure for finite bounded acyclic categories has been built, which is useful to encode and manipulate abstract orientable incidence structure. It can be represented as a directed acyclic multigraph with weighted edges, where the…
We construct model structures on cyclic dendroidal sets and cyclic dendroidal spaces for cyclic quasi-operads and complete cyclic dendroidal Segal spaces, respectively. We show these models are Quillen equivalent to the model structure for…