Related papers: Representing geometric morphisms using power local…

An approach to the calculation of local canonical morphic heights is described, motivated by the analogy between the classical height in Diophantine geometry and entropy in algebraic dynamics. We consider cases where the local morphic…

We study centrality of morphisms in a setting derived from that of a pointed category in which binary products commute with coequalisers. The main results of this paper show that much of the behaviour of central morphisms for unital…

We study a geometrical condition (PHWC) which is weaker than horizontal weak conformality. In particular, we show that harmonic maps satisfying this condition, which will be called {\em pseudoharmonic morphisms}, include harmonic morphisms…

In this paper we introduce congruence spaces, which are topological spaces that are canonically attached to monoid schemes and that reflect closed topological properties. This leads to satisfactory topological characterizations of closed…

Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…

We prove that harmonic morphisms preserve the Jacobi operator along harmonic maps. We apply this result to prove infinitesimal and local rigidity (in the sense of Toth) of harmonic morphisms to a sphere.

In this article Hopf parametric adjunctions are defined and analysed within the context of the 2-adjunction of the type $\mathbf{Adj}$-$\mathbf{Mnd}$. In order to do so, the definition of adjoint objects in the 2-category of adjunctions and…

We construct a family of independent sets for finite, atomic, and graded lattices, extending the well-known cryptomorphism between geometric lattices and matroids. This construction leads to an embedding theorem into geometric lattices that…

Coordination geometries describe how the neighbours of a central particle are arranged around it. Such geometries can be thought to lie in an abstract topological space; a model of this space could provide a mathematical basis for…

The algebraic properties of the combination of probabilistic choice and nondeterministic choice have long been a research topic in program semantics. This paper explains a formalization in the Coq proof assistant of a monad equipped with…

The notion of local equivalence relation on a topological space is generalised to that of local subgroupoid. The main result is the construction of the holonomy and monodromy groupoids of certain Lie local subgroupoids, and the formulation…

We show that every homomorphism from a one-dimensional Peano continuum to a planar Peano continuum is induced by a continuous map up to conjugation. We then prove that the topological structure of the space of points at which a planar Peano…

We give an expository, and hopefully approachable, account of the Joyal-Tierney result that every topos can be represented as a topos of sheaves on a localic groupoid. We give an explicit presentation of a representing localic groupoid for…

In this article we describe properties of the 2-functor from the 2-category of comonads to the 2-category of functors that sends a comonad to its forgetful functor. This allows us to describe contexts where algebras over a monad are…

It is well established that equational algebraic theories, and the monads they generate, can be used to encode computational effects. An important insight of Power and Shkaravska is that comodels of an algebraic theory T -- i.e., models in…

In this paper, we introduce a family of topological spaces that captures the existence of preservation theorems. The structure of those spaces allows us to study the relativisation of preservation theorems under suitable definitions of…

Modal logics have proved useful for many reasoning tasks in symbolic artificial intelligence (AI), such as belief revision, spatial reasoning, among others. On the other hand, mathematical morphology (MM) is a theory for non-linear analysis…

Symmetric powers of quasi-projective schemes can be extended, in terms of left Kan extensions, to geometric symmetric powers of motivic spaces. In this paper, we study geometric symmetric powers and compare with various symmetric powers in…

We construct a functorial pushforward homomorphism in geometric Hodge filtered complex cobordism along proper holomorphic maps between arbitrary complex manifolds. This significantly improves previous results on such transfer maps and is a…

One of the main reasons for the correspondence of regular languages and monadic second-order logic is that the class of regular languages is closed under images of surjective letter-to-letter homomorphisms. This closure property holds for…