Related papers: A finitely presented ${E}_{\infty}$-prop II: cellu…
We define a notion of $\infty$-properads that generalises $\infty$-operads by allowing operations with multiple outputs. Specializing to the case where each operation has a single output provides a simple new perspective on…
We define an operad in Top, called $\text{FM}_2^W$. The spaces in $\text{FM}_2^W$ come with CW decompositions, such that the operad compositions are cellular. In fact, each space in $\text{FM}_2^W$ is the realization of a simplicial set. We…
A class of CW-complexes, called self-similar complexes, is introduced, together with C*-algebras A_j of operators, endowed with a finite trace, acting on square-summable cellular j-chains. Since the Laplacian Delta_j belongs to A_j,…
An object in motivic homotopy theory is called cellular if it can be built out of motivic spheres using homotopy colimit constructions. We explore some examples and consequences of cellularity. We explain why the algebraic K-theory and…
We investigate the end extendibility of models of arithmetic with restricted elementarity. By utilizing the restricted ultrapower construction in the second-order context, for each $n\in\mathbb{N}$ and any countable model of…
We formalise, in Coq, the opening sections of Parity Complexes [Street1991] up to and including the all important excision of extremals algorithm. Parity complexes describe the essential combinatorial structure exhibited by simplexes, cubes…
We introduce the notion of a complex cell, a complexification of the cells/cylinders used in real tame geometry. For $\delta\in(0,1)$ and a complex cell $\mathcal{C}$ we define its holomorphic extension…
In the context of Higman embeddings of recursive groups into finitely presented groups we suggest an algorithm which uses Higman operations to explicitly constructs the specific recursively enumerable sets of integer sequences arising…
Let $C$ be a simply laced generalized Cartan matrix. Given an element $b$ of the generalized braid semigroup related to $C$, we construct a collection of mutation-equivalent quivers with potentials. A quiver with potential in such a…
Cellular automata are a discrete dynamical system which models massively parallel computation. Much attention is devoted to computations with small time complexity for which the parallelism may provide further possibilities. In this paper,…
On a Riemann surface of genus $> 1$, we discuss how to construct opers with apparent singularities from $SL_2(\mathbb{C})$ $\lambda$-connections $(E, \nabla_\lambda)$ and sub-line bundles $L$ of $E$. This construction defines a rational map…
We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show that a countable structure $M$ is cellular if and only if $M$ is $\omega$-categorical and mutually algebraic. Second,…
We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…
An elementary proof is given for the existence of infinite dimensional abelian subalgebras in quantum W-algebras. In suitable realizations these subalgebras define the conserved charges of various quantum integrable systems. We consider all…
In this paper we introduce the concept of L-algebras, which can be seen as a generalization of the structure determined by the Eilenberg-Mac lane transformation and Alexander-Whitney diagonal in chain complexes. In this sense, our main…
This paper exhibits a multiplicative and minimal cellular complex which allows explicit and complete (co)homological calculations for the symmetric products of a finite two dimensional CW complex. By considering cohomology, we observe that…
We define a new $E_{\infty}$ operad based on surfaces with foliations which contains $E_k$ sub-operads. We construct CW models for these operads and provide applications of these models by giving actions on Hochschild complexes -thus making…
We study a finite-dimensional quotient of the Hecke algebra of type $H_n$ for general $n$, using a calculus of diagrams. This provides a basis of monomials in a certain set of generators. Using this, we prove a conjecture of C.K. Fan about…
Reasoning about weak higher categorical structures constitutes a challenging task, even to the experts. One principal reason is that the language of set theory is not invariant under the weaker notions of equivalence at play, such as…
A modern insight due to Quillen, which is further developed by Lurie, asserts that many cohomology theories of interest are particular cases of a single construction, which allows one to define cohomology groups in an abstract setting using…