相关论文: Closed symmetric monoidal structure and flow

We establish a new criterion for the existence of a global cross section to a non-singular volume-preserving flow on a compact manifold. Namely, if $\Phi$ is a non-singular smooth flow on a compact, connected manifold $M$ with a smooth…

Categorical structures and their pseudomaps rarely form locally presentable 2-categories in the sense of Cat-enriched category theory. However, we show that if the categorical structure in question is sufficiently weak (such as the…

The closure conditions of the inexact exterior differential form and dual form (an equality to zero of differentials of these forms) can be treated as a definition of some differential-geometrical structure. Such a connection discloses the…

We consider closed manifolds that possess a so called rank one ray structure. That is a (flat) affine structure such that the linear part is given by the products of a diagonal transformation and a commuting rotation. We show that closed…

Given an embedded cylinder in an arbitrary surface, we give a gauge theoretic definition of the associated Goldman flow, which is a circle action on a dense open subset of the moduli space of equivalence classes of flat SU(2)-connections…

We construct a monoidal category of open transition systems that generate material history as transitions unfold, which we call situated transition systems. The material history generated by a composite system is composed of the material…

Lenses are a well-established structure for modelling bidirectional transformations, such as the interactions between a database and a view of it. Lenses may be symmetric or asymmetric, and may be composed, forming the morphisms of a…

We prove that the category of c-spaces with continuous maps is not cartesian closed. As a corollary the category of locally finitary compact spaces with continuous maps is also not cartesian closed.

It is well known that the category of Gray-categories does not admit a monoidal biclosed structure that models weak higher-dimensional transformations. In this paper, the first of a series on the topic, we describe several skew monoidal…

We review coupled ${\rm SU}(3)$-structures, also known in the literature as restricted half-flat structures, in relation to supersymmetry. In particular, we study special classes of examples admitting such structures and the behaviour of…

We present a new model of computation, described in terms of monoidal categories. It conforms the Church-Turing Thesis, and captures the same computable functions as the standard models. It provides a succinct categorical interface to most…

We define a parabolic flow of pluriclosed metrics. This flow is of the same family introduced by the authors in \cite{ST}. We study the relationship of the existence of the flow and associated static metrics topological information on the…

The goal of this paper is to prove coherence results with respect to relational graphs for monoidal endofunctors, i.e. endofunctors of a monoidal category that preserve the monoidal structure up to a natural transformation that need not be…

We define a skew-closed structure for Gray-categories extending the mapping space construction of the author.

We show that the set of harmonic maps from the 2-dimensional stratified spheres with uniformly bounded energies contains only finitely many homotopy classes. We apply this result to construct infinitely many harmonic map flows and mean…

We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right module of systems over a symmetric monoidal double category…

Poincar\'e maps and suspension flows are examples of fundamental constructions in the study of dynamical systems. This study aimed to show that these constructions define an adjoint pair of functors if categories of dynamical systems are…

Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging…

Given a small category $I$ and a closed symmetric monoidal category $\mm$, we show that the diagram category $\mm^I$ with the objectwise product is a closed symmetric monoidal category. We then prove that if $I$ is a Reedy category and…

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…