Related papers: Induced morphisms between Heyting-valued models

Injectivity of objects with respect to a set $\ch$ of morphisms is an important concept of algebra, model theory and homotopy theory. Here we study the logic of injectivity consequences of $\ch$, by which we understand morphisms $h$ such…

We associate to a multiple polylogarithm a holomorphic 1-form on the universal abelian cover of its domain. We relate the 1-forms to the symbol and variation matrix and show that the 1-forms naturally define a lift of the variation of mixed…

We study a class of $\Z^{d}$-substitutive subshifts, including a large family of constant-length substitutions, and homomorphisms between them, i.e., factors modulo isomorphisms of $\Z^{d}$. We prove that any measurable factor map and even…

In this article we study persistence features of topological entropy and periodic orbit growth of Hamiltonian diffeomorphisms on surfaces with respect to Hofer's metric. We exhibit stability of these dynamical quantities in a rather strong…

Let $f:X-->Y$ be a map of algebraic varieties. Barthel, Brasselet, Fieseler, Gabber and Kaup have shown that there exists a homomorphism of intersection homology groups $f^*:IH^*(Y)-->IH^*(X)$ compatible with the induced homomorphism on…

It is known that exactly eight varieties of Heyting algebras have a model-completion, but no concrete axiomatisation of these model-completions were known by now except for the trivial variety (reduced to the one-point algebra) and the…

Homotopy Type Theory is a new field of mathematics based on the surprising and elegant correspondence between Martin-Lofs constructive type theory and abstract homotopy theory. We have a powerful interplay between these disciplines - we can…

For locally compact groups G and H let A(G) denote the Fourier algebra of G and B(H) the Fourier-Stieltjes algebra of H. Any continuous piecewise affine map alpha:Y -> G (where Y is an element of the open coset ring of H) induces a…

The hammock localization provides a model for a homotopy function complex in any Quillen model category. We prove that a homotopy between a pair of morphisms induces a homotopy between the maps induced by taking the hammock localization. We…

It is proved that epimorphisms are surjective in a range of varieties of residuated structures, including all varieties of Heyting or Brouwerian algebras of finite depth, and all varieties consisting of Goedel algebras, relative Stone…

We prove that the Seidel morphism of $(M \times M', \omega \oplus \omega')$ is naturally related to the Seidel morphisms of $(M,\omega)$ and $(M',\omega')$, when these manifolds are monotone. We deduce that any homotopy class of loops of…

We study the homomorphism induced in homology by a closed correspondence between topological spaces, using projections from the graph of the correspondence to its domain and codomain. We provide assumptions under which the homomorphism…

Let $A(G)$ and $B(H)$ be the Fourier and Fourier-Stieltjes algebras of locally compact groups $G$ and $H$, respectively. Ilie and Spronk have shown that continuous piecewise affine maps $\alpha: Y \subseteq H\rightarrow G$ induce completely…

Geometric morphisms between realizability toposes are studied in terms of morphisms between partial combinatory algebras (pcas). The morphisms inducing geometric morphisms (the {\em computationally dense\/} ones) are seen to be the ones…

Integrals in Hopf algebras are an essential tool in studying finite dimensional Hopf algebras and their action on algebras. Over fields it has been shown by Sweedler that the existence of integrals in a Hopf algebra is equivalent to the…

We investigate the computational complexity of the problem of deciding if an algebra homomorphism can be factored through an intermediate algebra. Specifically, we fix an algebraic language, L, and take as input an algebra homomorphism f…

Let $F$ be a global field. Let $G$ and $H$ be two connected reductive group defined over $F$ endowed with an $F$-morphism $f: H\rightarrow G$ such that the induced morphism $H_{der}\rightarrow G_{der}$ on the derived groups is a central…

Let $B\rightarrow A$ be a homomorphism of Hopf algebras and let $C$ be an algebra. We consider the induction from $B$ to $A$ of $C$ in two cases: when $C$ is a $B$-interior algebra and when $C$ is a $B$-module algebra. Our main results…

Let $k$ be a field, let $H \subset G$ be (possibly disconnected) reductive groups over $k$, and let $\Gamma$ be a finitely generated group. Vinberg and Martin have shown that the induced morphism of character varieties \[…

Using only basic topological properties of real algebraic sets and regular morphisms we show that any injective regular self-mapping of a real algebraic set is surjective. Then we show that injective morphisms between germs of real…