OPERADS AND JET MODULES

2005 ◽  
Vol 02 (06) ◽  
pp. 1133-1186 ◽  
Author(s):  
MARC A. NIEPER-WISSKIRCHEN

Let A be an algebra over an operad in a cocomplete closed symmetric monoidal category. We study the category of A-modules. We define certain symmetric product functors of such modules generalizing the tensor product of modules over commutative algebras, which we use to define the notion of a jet module. This in turn generalizes the notion of a jet module over a module over a classical commutative algebra. We are able to define Atiyah classes (i.e., obstructions to the existence of connections) in this generalized context. We use certain model structures on the category of A-modules to study the properties of these Atiyah classes. The purpose of the paper is not to present any really deep theorem. It is more about the right concepts when dealing with modules over an algebra that is defined over an arbitrary operad, i.e., the aim is to show how to generalize various classical constructions, including modules of jets, the Atiyah class and the curvature, to the operadic context. For convenience of the reader and for the purpose of defining the notations, the basic definitions of the theory of operads and model categories are included.

2020 ◽  
Vol 32 (1) ◽  
pp. 45-62 ◽  
Author(s):  
Ramon Antoine ◽  
Francesc Perera ◽  
Hannes Thiel

AbstractWe previously showed that abstract Cuntz semigroups form a closed symmetric monoidal category. This automatically provides additional structure in the category, such as a composition and an external tensor product, for which we give concrete constructions in order to be used in applications. We further analyze the structure of not necessarily commutative {\mathrm{Cu}}-semirings, and we obtain, under mild conditions, a new characterization of solid {\mathrm{Cu}}-semirings R by the condition that {R\cong\llbracket R,R\rrbracket}.


2017 ◽  
Vol 28 (7) ◽  
pp. 1253-1286 ◽  
Author(s):  
PAUL-ANDRÉ MELLIÈS ◽  
NICOLAS TABAREAU ◽  
CHRISTINE TASSON

The exponential modality of linear logic associates to every formula A a commutative comonoid !A which can be duplicated in the course of reasoning. Here, we explain how to compute the free commutative comonoid !A as a sequential limit of equalizers in any symmetric monoidal category where this sequential limit exists and commutes with the tensor product. We apply this general recipe to a series of models of linear logic, typically based on coherence spaces, Conway games and finiteness spaces. This algebraic description unifies for the first time a number of apparently different constructions of the exponential modality in spaces and games. It also sheds light on the duplication policy of linear logic, and its interaction with classical duality and double negation completion.


2022 ◽  
Vol 29 (01) ◽  
pp. 99-112
Author(s):  
Thomas Guédénon

In this paper we define the notion of Brauer–Clifford group for [Formula: see text]-Azumaya algebras when [Formula: see text] is a commutative algebra and[Formula: see text] is a [Formula: see text]-Lie algebra over a commutative ring [Formula: see text]. This is the situation that arises in applications having connections to differential geometry. This Brauer–Clifford group turns out to be an example of a Brauer group of a symmetric monoidal category.


2013 ◽  
Vol 2013 ◽  
pp. 1-25
Author(s):  
Carmen Caprau

We introduce the category of singular 2-dimensional cobordisms and show that it admits a completely algebraic description as the free symmetric monoidal category on atwin Frobenius algebra, by providing a description of this category in terms of generators and relations. A twin Frobenius algebra(C,W,z,z∗)consists of a commutative Frobenius algebraC, a symmetric Frobenius algebraW, and an algebra homomorphismz:C→Wwith dualz∗:W→C, satisfying some extra conditions. We also introduce a generalized 2-dimensional Topological Quantum Field Theory defined on singular 2-dimensional cobordisms and show that it is equivalent to a twin Frobenius algebra in a symmetric monoidal category.


2008 ◽  
Vol 18 (3) ◽  
pp. 613-643 ◽  
Author(s):  
ERNIE MANES ◽  
PHILIP MULRY

In this paper we introduce the concept of Kleisli strength for monads in an arbitrary symmetric monoidal category. This generalises the notion of commutative monad and gives us new examples, even in the cartesian-closed category of sets. We exploit the presence of Kleisli strength to derive methods for generating distributive laws. We also introduce linear equations to extend the results to certain quotient monads. Mechanisms are described for finding strengths that produce a large collection of new distributive laws, and consequently monad compositions, including the composition of monadic data types such as lists, trees, exceptions and state.


1981 ◽  
Vol 23 (2) ◽  
pp. 209-214
Author(s):  
Stefano Kasangian ◽  
Fabio Rossi

It is shown that, for a monoidal category V, not every commutation is a symmetry and also that a commutation does not suffice to define the tensor product A ⊗ B of V-categorles A and B. Moreover, it is shown that every symmetry can be transported along a monoidal equivalence.


2018 ◽  
Vol 17 (07) ◽  
pp. 1850133 ◽  
Author(s):  
Daowei Lu ◽  
Xiaohui Zhang

Let [Formula: see text] be a Hom-bialgebra. In this paper, we firstly introduce the notion of Hom-L-R smash coproduct [Formula: see text], where [Formula: see text] is a Hom-coalgebra. Then for a Hom-algebra and Hom-coalgebra [Formula: see text], we introduce the notion of Hom-L-R-admissible pair [Formula: see text]. We prove that [Formula: see text] becomes a Hom-bialgebra under Hom-L-R smash product and Hom-L-R smash coproduct. Next, we will introduce a prebraided monoidal category [Formula: see text] of Hom–Yetter–Drinfel’d–Long bimodules and show that Hom-L-R-admissible pair [Formula: see text] actually corresponds to a bialgebra in the category [Formula: see text], when [Formula: see text] and [Formula: see text] are involutions. Finally, we prove that when [Formula: see text] is finite dimensional Hom-Hopf algebra, [Formula: see text] is isomorphic to the Yetter–Drinfel’d category [Formula: see text] as braid monoidal categories where [Formula: see text] is the tensor product Hom–Hopf algebra.


1982 ◽  
Vol 91 (2) ◽  
pp. 285-289 ◽  
Author(s):  
R. J. Archbold

Let A and E be C*-algebras, let A ⊗ B denote the minimal C*-tensor product, and let ε A *. The right slice map R: A ⊗ B → B is the unique bounded linear mapping with the property that R (a ⊗ b) = (a)b (a ε A, b ε B)(10). A triple (A, B, D), where D is a C*-subalgebra of B, is said to have the slice map property if whenever x ε A ⊗ B and R(x) D for all ε A* then x ε A ⊗ D). It is known that (A, B, D) has the slice map property whenever A is nuclear (11,13), but it appears to be still unknown whether the nuclearity of B will suffice (unless some extra condition is placed on D (l)).


Sign in / Sign up

Export Citation Format

Share Document