相关论文: Commutation Structures

We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free commutative-monoid construction, we formalise and establish the…

We study a variation of Turaev's homotopy quantum field theories using 2-categories of surfaces. We define the homotopy surface 2-category of a space $X$ and define an $\cS_X$-structure to be a monoidal 2-functor from this to the 2-category…

This is the first in a series of papers math.AG/0503029, math.AG/0410267, math.AG/0410268 on "configurations" in an abelian category A. Given a finite partially ordered set (I,<), an (I,<)-configuration (\sigma,\iota,\pi) is a finite…

We study the homology of pointed sets over a partially commutative monoid.

A symmetric monoidal pairing is defined among simply connected co-H spaces and this is used to generalize the Whitehead product map S(X ^ Y) --> SX v SY to co-H spaces.

A conformal change of $TM\oplus T^*M$ is a morphism of the form $(X,\alpha)\mapsto(X,e^\tau\alpha)$ $(X\in TM,\alpha\in T^*M,\tau\in C^\infty(M))$. We characterize the generalized almost complex and almost Hermitian structures that are…

Commuting maps on a class of algebras called inflated algebras are investigated. In particular, we can prove that every commuting map $\theta$ on such an algebra is of the form $\theta(x)=c x+\mu(x)$, where $c$ belongs to the base field $K$…

String diagrams are pictorial representations for morphisms of symmetric monoidal categories. They constitute an intuitive and expressive graphical syntax, which has found application in a very diverse range of fields including concurrency…

We give a description of unital operads in a symmetric monoidal category as monoids in a monoidal category of unital $\Lambda$-sequences. This is a new variant of Kelly's old description of operads as monoids in the monoidal category of…

In this paper we show that if a cosimplicial space or spectrum $X^\bullet$ has a certain kind of combinatorial structure (we call it a $\Xi^n$-structure) then the total space of $X^\b$ has an action of a certain operad which is weakly…

The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor…

We define for every dendroidal set X a chain complex and show that this assignment determines a left Quillen functor. Then we define the homology groups $H_n(X)$ as the homology groups of this chain complex. This generalizes the homology of…

Directed containers make explicit the additional structure of those containers whose set functor interpretation carries a comonad structure. The data and laws of a directed container resemble those of a monoid, while the data and laws of a…

The familiar trace of a square matrix generalizes to a trace of an endomorphism of a dualizable object in a symmetric monoidal category. To extend these ideas to other settings, such as modules over non-commutative rings, the trace can be…

The aim of this paper is to study categorified algebraic structures and their pseudo- and lax homomorphisms using the framework of Lawvere $2$-theories, and more generally, (enhanced) $2$-dimensional sketches. The key notion we focus on is…

The aim of this paper is to extend the notion of commutativity of vector fields to the category of singular foliations, using Nambu structures, i.e. integrable multi-vector fields. We will classify the relationship between singular…

We prove that the monoidal 2-category of cospans of finite linear orders and surjections is the universal monoidal category with an object X with a semigroup and a cosemigroup structures, where the two structures satisfy a certain…

We give a characterisation of those local not necessary commutative rings, for which the category of projective modules admits a triangulation with the identity as translation functor. By "admits a triangulation" we mean that the category…

The present article is devoted to the study of transfers for $A_\infty$ structures, their maps and homotopies, as developed in \cite{Markl06}. In particular, we supply the proofs of claims formulated therein and provide their extension by…

If C is a stable model category with a monoidal product then the set of homotopy classes of self-maps of the unit S forms a commutative ring. An idempotent e of this ring will split the homotopy category. We prove that provided the…