相关论文: Closed symmetric monoidal structure and flow
Recently, there has been growing interest in bicategorical models of programming languages, which are "proof-relevant" in the sense that they keep distinct account of execution traces leading to the same observable outcomes, while assigning…
Given a smooth compact surface without focal points and of higher genus, it is shown that its geodesic flow is semi-conjugate to a continuous expansive flow with a local product structure such that the semi-conjugation preserves…
A construction of Kleisli objects in 2-categories of noncartesian internal categories or categories internal to monoidal categories is presented.
It is known that the Grothendieck group of the category of Schur functors is the ring of symmetric functions. This ring has a rich structure, much of which is encapsulated in the fact that it is a "plethory": a monoid in the category of…
We consider a nonlinear flow on simplicial complexes related to the simplicial Laplacian, and show that it is a generalization of various consensus and synchronization models commonly studied on networks. In particular, our model allows us…
We construct a smooth, area preserving, mixing flow with finitely many non-degenerate fixed points and no saddle connections on a closed surface of genus 5. This resolves a problem that has been open for four decades.
We construct a topological invariant for a Morse-Smale flow on a 3-manifold and prove that the flows are topologically equivalent iff their invariants are same.
We show that the category of categories with pullbacks and pullback preserving functors is cartesian closed.
This paper introduces the concept of distorted monoidal categories, a generalization of monoidal and braided monoidal categories that supports non-reversible and direction-sensitive tensor structures. Unlike the classical setting, where the…
We define an interesting sub-category of the category of simplicial sets, $\Sr$, whose objects are called regular. Both it and the subcategory ${\cal S}_{f-{\rm reg}}$ of finite regular simplicial sets have good stability properties under…
Expansion of the categorical point of view on many areas of the mathematics and mathematical physics will cause to deeper understanding of genuine features of these problems. New applications of categorical methods are connected with new…
We define bicategories internal to 2-categories. When the ambient 2-category is symmetric monoidal categories, this provides a convenient framework for encoding the structures of a symmetric monoidal 3-category. This framework is well…
We present several naturally occurring classes of spectral spaces using commutative algebra on pointed monoids. For this purpose, our main tools are finite type closure operations and continuous valuations on monoids which we introduce in…
We give a classification of compact solitons for the pluriclosed flow on complex surfaces. First, by exploiting results from the Kodaira classification of surfaces, we show that the complex surface underlying a soliton must be K\"ahler…
The main purpose of this paper is to introduce the structure of soft group category. In this category, we determine some special objects and morphisms having a universal structure such as the final object and product. Therefore, the…
Surface-driven flows are ubiquitous in nature, from subcellular cytoplasmic streaming to organ-scale ciliary arrays. Here, we model how confined geometries can be used to engineer complex hydrodynamic patterns driven by activity prescribed…
This paper is a first attempt at bringing together various concepts from research on wall- and magnetically-bounded turbulent flows. Brief reviews of both fields are provided: The main similarities identified are coherent (turbulent)…
Indexed symmetric monoidal categories are an important refinement of bicategories -- this structure underlies several familiar bicategories, including the homotopy bicategory of parametrized spectra, and its equivariant and fiberwise…
We generalize Cohen & Jones & Segal's flow category whose objects are the critical points of a Morse function and whose morphisms are the Morse moduli spaces between the critical points to an n-category. The n-category construction involves…
The aim of this paper is two-fold. First, the study of $C_{12}$-structure (called by us corner structure) is extended to the general case without any condition, unlike our previous papers (see, \cite{BB, BG2, BG, BBB}). Second, starting…