1 ∞-Operads 4 1.1 Basic Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2 Fibrations of ∞-Operads . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.3 Algebra Objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.4 Cartesian Monoidal Structures . . . . . . . . . . ....

In [CY98] Crane and Yetter introduced a deformation theory for monoidal categories. The related deformation theory for monoidal functors introduced by Yetter in [Yet98] is a proper generalization of Gerstenhaber’s deformation theory for associative algebras [Ger63, Ger64, GS88]. In the present paper we solidify the analogy between lax monoidal functors and associative algebras by showing that u...

The definition of $L$-fuzzy Q-convergence spaces is presented by Pang and Fang in 2011. However, Cartesian-closedness of the category of $L$-fuzzy Q-convergence spaces is not investigated. This paper focuses on Cartesian-closedness of the category of $L$-fuzzy Q-convergence spaces, and it is shown that  the category $L$-$mathbf{QFCS}$ of $L$-fuzzy Q-convergence spaces is Cartesian-closed.

Operads were originally defined as V-operads, that is, enriched in a symmetric or braided monoidal category V. The symmetry or braiding in V is required in order to describe the associativity axiom the operads must obey, as well as the associativity that must be a property of the action of an operad on any of its algebras. A sequence of categorical types that filter the category of monoidal cat...

Defining a system in distinction from its environment is a fundamental but elusive problem in artificial life as well as in real-world complex systems. While many notions of closure gives a qualitative and absolute criteria for the system–environment distinction, the concept of “informational closure” proposed by Bertschinger et al. (Bertschinger et al., 2006, Proc. GWAL-7, p.9, IOS Press) give...

We consider the problem of the semidefinite representation of a class of non-compact basic semialgebraic sets. We introduce the conditions of pointedness and closedness at infinity of a semialgebraic set and show that under these conditions our modified hierarchies of nested theta bodies and Lasserre’s relaxations converge to the closure of the convex hull of S. Moreover, if the PP-BDR property...

In the paper, we describe various applications of the closedness and duality theorems of [7] and [8]. First, the strong separability of a polyhedron and a linear image of a convex set is characterized. Then, it is shown how stability conditions (known from the generalized Fenchel-Rockafellar duality theory) can be reformulated as closedness conditions. Finally, we present a generalized Lagrange...

We give a new formulation of attribute grammars (AG for short) called monoidal AGs in traced symmetric monoidal categories. Monoidal AGs subsume existing domain-theoretic, graph-theoretic and relational formulations of AGs. Using a 2-categorical aspect of monoidal AGs, we also show that every monoidal AG is equivalent to a synthesised one when the underlying category is closed, and that there i...

This article is devoted to the investigation of the deformation (twisting) of monoidal structures, such as the associativity constraint of the monoidal category and the monoidal structure of monoidal functor. The sets of twistings have a (non-abelian) c ohomological nature. Using this fact the maps from the sets of twistings to some cohomology groups (Hochschild cohomology of K-theory) are cons...