Related papers: The algebraic structure of the universal complicia…
We show that morphisms from n A_infinity-algebras to a single one are maps over an operad module with n+1 commuting actions of the operad A_infinity, whose algebras are conventional A_infinity-algebras. Similar statement holds for homotopy…
We study classes of objects whose combinatorics are closely related to those of posets. The framework of operads and operad algebras allows us to make this relationship precise and provides tools for a deeper understanding of their…
A Dirichlet operator algebra is a nonself-adjoint operator algebra $\mathcal{A}$ with the property that $\mathcal{A} + \mathcal{A}^*$ is norm-dense in the C$^*$-envelope of $\mathcal{A}.$ We show that, under certain restrictions,…
We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The axioms of traced (symmetric monoidal) categories are fully…
The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify over strict morphisms amongst the weaker kinds.…
In this paper, we state the notion of morphisms in the category of abelian crossed modules and prove that this category is equivalent to the category of strict Picard categories and regular symmetric monoidal functors. The theory of…
We prove an equivalence of categories from formal complex structures with formal holomorphic maps to homotopy algebras over a simple operad with its associated homotopy morphisms. We extend this equivalence to complex manifolds. A complex…
This paper introduces the notion of orbit coherence in a permutation group. Let $G$ be a group of permutations of a set $\Omega$. Let $\pi(G)$ be the set of partitions of $\Omega$ which arise as the orbit partition of an element of $G$. The…
We define an interesting sub-category of the category of simplicial sets, $\Sr$, whose objects are called regular. Both it and the subcategory ${\cal S}_{f-{\rm reg}}$ of finite regular simplicial sets have good stability properties under…
The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…
Algebra and representation theory in modular tensor categories can be combined with tools from topological field theory to obtain a deeper understanding of rational conformal field theories in two dimensions: It allows us to establish the…
Let $\Omega$ be a metric space, $A^t$ denote the metric neighborhood of the set $A\subset\Omega$ of the radius $t$; ${\mathfrak O}$ be the lattice of open sets in $\Omega$ with the partial order $\subseteq$ and the order convergence. The…
Many homotopy-coherent algebraic structures can be described by Segal-type limit conditions determined by an "algebraic pattern", bywhich we mean an $\infty$-category equipped with a factorization system and a collection of "elementary"…
While chain complexes are equipped with a differential $d$ satisfying $d^2 = 0$, their generalizations called $N$-complexes have a differential $d$ satisfying $d^N = 0$. In this paper we show that the lax nerve of the category of chain…
We establish model category structures on algebras and modules over operads in symmetric spectra, and study when a morphism of operads induces a Quillen equivalence between corresponding categories of algebras (resp. modules) over operads.
We define nodal finite dimensional algebras and describe their structure over an algebraically closed field. For a special class of such algebras (type A) we find a criterion of tameness.
We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give…
We introduce a notion of join for (augmented) simplicial sets generalising the classical join of geometric simplicial complexes. The definition comes naturally from the ordinal sum on the base simplicial category $\Delta$.
The notion of associativity (which differs from the straightforward generalization of the usual associativity given by the move of parentheses in the relevant expression) for operations of high arity is introduced. It is proved that the…
In this paper we describe how to give a particular global category of rings and modules the structure of a relaxed multi category, and we describe an algebra in this relaxed multi category such that vertex algebras appear as such algebras.