Related papers: Induced morphisms between Heyting-valued models

Choose a topos $E$. There are several different "notions of sheafness" on $E$. How do we visualize them? Let's refer to the classifier object of $E$ as $\Omega$, and to its Heyting Algebra of truth-values, $Sub(1_E)$, as $H$; we will…

The collection of open sets of a topological space forms a Heyting algebra, which leads to the idea of a Heyting algebra as a generalized topological space. In fact, a sober topological space may be reconstructed from its locale of open…

This paper deals with holomorphic self-maps of the complex projective plane and the algebraic relations among the eigenvalues of the derivatives at the fixed points. These eigenvalues are constrained by certain index theorems such as the…

Let $\mathbb{A}$ and $\mathbb{S}$ denote the double arrow of Alexandroff and the Sorgenfrey line, respectively. We show that any homeomorphism $h:^m\mathbb{A}\to^m\mathbb{A} $ is locally (outside of a nowhere dense set) a product of…

Let $H$ be a Hopf algebra with a modular pair in involution $(\Character,1)$. Let $A$ be a (module) algebra over $H$ equipped with a non-degenerated $\Character$-invariant $1$-trace $\tau$. We show that Connes-Moscovici characteristic map…

Suppose that $X$ and $Y$ are surfaces of finite topological type, where $X$ has genus $g\geq 6$ and $Y$ has genus at most $2g-1$; in addition, suppose that $Y$ is not closed if it has genus $2g-1$. Our main result asserts that every…

We study Hopf algebras via tools from geometric invariant theory. We show that all the invariants we get can be constructed using the integrals of the Hopf algebra and its dual together with the multiplication and the comultiplication, and…

Importance of theorem dedicated to isomorphisms consist in statement that they allow to identify different mathematical objects which have something common from the point of view of certain model. This paper considers morphisms of \Ts…

Consider a morphism between connected locally Noetherian normal schemes. In this paper, we discuss when the sequence of the etale fundamental groups associated to the morphism is exact. Moreover, we give a characterization of when the…

Let $H$ be a separable real Hilbert space. Denote by ${\mathcal G}_{\infty}(H)$ the Grassmannian consisting of closed subspaces with infinite dimension and codimension. This Grassmannian is partially ordered by the inclusion relation. We…

Let $C$ be a symmetrizable generalized Cartan matrix with symmetrizer $D$ and orientation $\Omega$. In previous work we associated an algebra $H$ to this data, such that the locally free $H$-modules behave in many aspects like…

We introduce the complete lifts of maps between (real and complex) Euclidean spaces and study their properties concerning holomorphicity, harmonicity and horizontal weakly conformality. As applications, we are able to use this concept to…

Driven by applications in the natural, social and computer sciences several algorithms have been proposed to enumerate all sets $X\s V$ of vertices of a graph $G=(V,E)$ that induce a {\it connected} subgraph. We offer two algorithms for…

Let $H$ be a finite-dimensional Hilbert space, $\dim H \ge 2$. We prove that every continuous coexistency preserving map on the effect algebra $E(H)$ is either a standard automorphism of $E(H)$, or a standard automorphism of $E(H)$ composed…

We introduce a graded formulation of internal symbolic computation for transformers. The hidden space is endowed with a grading $V=\bigoplus_{g\in G}V_g$, and symbolic operations are realized as typed block maps (morphisms)…

By contrast wih $\mathsf{S4}$, the analysis of local tabularity above $\mathsf{IPC}$ has provided a difficult challenge. This paper studies a strengthening of local tabularity -- \textit{uniform local tabularity} -- where one demands that…

Structural properties of finite digraphs $R$ and $S$ are studied which enforce $\# {\cal H}(G,R) \leq \# {\cal H}(G,S)$ for every finite digraph $G \in \mathfrak{ D }'$, where ${\cal H}(G,H)$ is the set of homomorphisms from $G$ to $H$, and…

We propose a perturbation algorithm for Hamiltonian systems on a Lie algebra $\mathbb{V}$, so that it can be applied to non-canonical Hamiltonian systems. Given a Hamiltonian system that preserves a subalgebra $\mathbb{B}$ of $\mathbb{V}$,…

We study when algebra endomorphisms can be lifted to first-order flat lifts. To a first-order flat lift of an algebra and an endomorphism, we associate a canonical class in Hochschild cohomology with coefficients in a naturally twisted…

In the context of categories equipped with a structure of nullhomotopies, we introduce the notion of homotopy torsion theory. As special cases, we recover pretorsion theories as well as torsion theories in multi-pointed categories and in…