相关论文: Closed symmetric monoidal structure and flow
An object $P$ in a monoidal category $\mathcal{C}$ is called pivotal if its left dual and right dual objects are isomorphic. Given such an object and a choice of dual $Q$, we construct the category $\mathcal{C}(P,Q)$, of objects which…
The main result of this paper is the construction of a trace and a trace pairing for endomorphisms satisfying suitable conditions in a monoidal category. This construction is a common generalization of the trace for endomorphisms of…
When designing plans in engineering, it is often necessary to consider attributes associated to objects, e.g. the location of a robot. Our aim in this paper is to incorporate attributes into existing categorical formalisms for planning,…
In this article we investigate which categorical structures of a category C are inherited by its arrow category. In particular, we show that a monoidal equivalence between two categories gives rise to a monoidal equivalence between their…
We introduce a parabolic flow of almost Kahler structures, providing an approach to constructing canonical geometric structures on symplectic manifolds. We exhibit this flow as one of a family of parabolic flows of almost Hermitian…
We classify closed, conformally flat Lorentzian manifolds of dimension $n \geq 3$ with unipotent holonomy in PO(2,n). They are all Kleinian and fall into four different geometric types according to the intersection of the image of the…
Maximally embedding dimension (MED) numerical semigroups are a wide and interesting family, with some remarkable algebraic and combinatorial properties. Associated to any numerical semigroup one can construct a MED closure, as it is well…
We consider isotropic and Lagrangian embeddings of coadjoint orbits of compact Lie groups into products of coadjoint orbits. After reviewing the known facts in the case of $\mathrm{SU}(n)$ we initiate a similar study for $\mathrm{SO}$ and…
We show the existence of a continuum of Hamiltonian structures for the two-dimensional isotropic harmonic oscillator. In particular, a continuum of Hamiltonian structures having noncommutative coordinates is presented. A study of the…
We prove the existence of closed hypersurfaces of prescribed scalar curvature in globally hyperbolic Lorentzian manifolds provided there are barriers.
We study the flux homomorphism for closed forms of arbitrary degree, with special emphasis on volume forms and on symplectic forms. The volume flux group is an invariant of the underlying manifold, whose non-vanishing implies that the…
Let $M$ be a smooth closed orientable manifold and $\mathcal{P}(M)$ the space of Poisson structures on $M$. We construct a Poisson bracket on $\mathcal{P}(M)$ depending on a choice of volume form. The Hamiltonian flow of the bracket acts on…
In this paper, we examine a time-dependent family of two-dimensional algebras. We investigate the conditions under which any two algebras from this family, formed at different times, are isomorphic. Our findings reveal that the flow…
In this work we construct the $\Co^{\r}$-completion and $\Co^{\l}$-completion of a dynamical system. If $X$ is a flow, we construct canonical maps $X\to \Co^{\r}(X)$ and $X\to \Co^{\l}(X)$ and when these maps are homeomorphism we have the…
After introducing the different boundary geometries of rank one symmetric spaces, we state and prove Fried's theorem in the general setting of all those geometries: a closed manifold with a similarity structure is either complete or the…
Constructor theory is a meta-theoretic approach that seeks to characterise concrete theories of physics in terms of the (im)possibility to implement certain abstract "tasks" by means of physical processes. Process theory, on the other hand,…
If M is a hyperbolic 3-manifold with a quasigeodesic flow then we show that \pi_1(M) acts in a natural way on a closed disc by homeomorphisms. Consequently, such a flow either has a closed orbit or the action on the boundary circle is…
The study of categories that abstract the structural properties of relations has been extensively developed over the years, resulting in a rich and diverse body of work. This paper strives to provide a modern presentation of these…
Dynamical systems---by which we mean machines that take time-varying input, change their state, and produce output---can be wired together to form more complex systems. Previous work has shown how to allow collections of machines to…
Axisymmetric equilibria with incompressible flows of arbitrary direction are studied in the framework of magnetohydrodynamics under a variety of physically relevant side conditions. To this end a set of pertinent non-linear ODEs are…