There is an ongoing massive effort by many researchers to link category theory and geometry, especially homotopy coherence and categorical coherence. This constitutes just a part of the broad undertaking known as categorification as described by Baez and Dolan. This effort has as a partial goal that of understanding the categories and functors that correspond to loop spaces and their associated...

The objective of this paper is to study the parametric vector equilibrium problems governed by vector topologically pseudomonotone maps. The main result gives sufficient conditions for closedness of the solution map defined on the set of parameters.

Given an algebraic theory which can be described by a (possibly symmetric) operad P , we propose a definition of the weakening (or categorification) of the theory, in which equations that hold strictly for P -algebras hold only up to coherent isomorphism. This generalizes the theories of monoidal categories and symmetric monoidal categories, and several related notions defined in the literature...

Abstract. Separable Frobenius monoidal functors were de ned and studied under that name in [10], [11] and [4] and in a more general context in [3]. Our purpose here is to develop their theory in a very precise sense. We determine what kinds of equations in monoidal categories they preserve. For example we show they preserve lax (meaning not necessarily invertible) Yang-Baxter operators, weak Ya...

We decribe the correspondence between normalised ω-operads in the sense of [1] and certain lax monoidal structures on the category of globular sets. As with ordinary monoidal categories, one has a notion of category enriched in a lax monoidal category. Within the aforementioned correspondence, we provide also an equivalence between the algebras of a given normalised ωoperad, and categories enri...

In this paper we develope a categorical theory of relations and use this formulation to define the notion of quantization for relations. Categories of relations are defined in the context of symmetric monoidal categories. They are shown to be symmetric monoidal categories in their own right and are found to be isomorphic to certain categories of A−A bicomodules. Properties of relations are defi...