Related papers: Induced morphisms between Heyting-valued models

We study holomorphic maps between C$^*$-algebras $A$ and $B$. When $f:B_A (0,\varrho) \longrightarrow B$ is a holomorphic mapping whose Taylor series at zero is uniformly converging in some open unit ball $U=B_{A}(0,\delta)$ and we assume…

A representation embedding between cartesian theories can be defined to be a functor between respective categories of models that preserves finitely-generated projective models and that preserves and reflects certain epimorphisms. This…

We show that the invariants of a free associative algebra of finite rank under a linear action of a finite-dimensional Hopf algebra generated by group-like and skew-primitive elements form a finitely generated algebra exactly when the…

We consider holomorphic twists of arbitrary supersymmetric theories in four dimensions. Working in the BV formalism, we rederive classical results characterizing the holomorphic twist of chiral and vector supermultiplets, computing the…

Let $V_{L}$ be the vertex algebra associated to a non-degenerate even lattice $L$, $\theta$ the automorphism of $V_{L}$ induced from the $-1$-isometry of $L$, and $V_{L}^{+}$ the fixed point subalgebra of $V_{L}$ under the action of…

Let $H$ be a Hopf algebra. Any finite-dimensional lifting of $V\in {}^{H}_{H}\mathcal{YD}$ arising as a cocycle deformation of $A=\mathfrak{B}(V)\#H$ defines a twist in the Hopf algebra $A^*$, via dualization. We follow this recipe to write…

Let $G$ be a group and let $X$ be an algebraic variety over an algebraically closed field $k$ of characteristic zero. Denote $A=X(k)$ the set of rational points of $X$. We investigate invertible algebraic cellular automata $\tau \colon A^G…

A group morphism is constructed, which can be realized as the induced morphism of fundamental groups from a holomorphic map between compact Kahler manifolds, but can not be realized by a holomorphic map between smooth projective varieties.…

We extend homological perturbation theory to encompass algebraic structures governed by operads and cooperads. The main difficulty is to find a suitable notion of algebra homotopy that generalizes to algebras over operads O. To solve this…

For oriented graphs $G$ and $H$, a homomorphism $f: G \rightarrow H$ is locally-injective if, for every $v \in V(G)$, it is injective when restricted to some combination of the in-neighbourhood and out-neighbourhood of $v$. Two of the…

Several possible definitions of local injectivity for a homomorphism of an oriented graph $G$ to an oriented graph $H$ are considered. In each case, we determine the complexity of deciding whether there exists such a homomorphism when $G$…

We classify finite-dimensional pointed Hopf algebras with abelian coradical, up to isomorphism, and show that they are cocycle deformations of the associated graded Hopf algebra. More generally, for any braided vector space of diagonal type…

Ruitenburg's Theorem says that every endomorphism f of a finitely generated free Heyting algebra is ultimately periodic if f fixes all the generators but one. More precisely, there is N $\ge$ 0 such that f N +2 = f N , thus the period…

In the study of homology cobordisms, knot concordance and link concordance, the following technical problem arises frequently: let $\pi$ be a group and let $M \to N$ be a homomorphism between projective $\Z[\pi]$-modules such that $\Z_p…

Let $(H, \a)$ be a monoidal Hom-Hopf algebra and $(A, \b)$ a right $(H, \a)$-Hom-comodule algebra. We first investigate the criterion for the existence of a total integral of $(A, \b)$ in the setting of monoidal Hom-Hopf algebras. Also we…

For a fixed finite dimensional algebra $A$, we study representation embeddings of the form $mod(B)\rightarrow mod(A)$. Such an embedding is called homological, if it induces an isomorphism on all Ext-groups and weakly homological, if only…

We consider contractive homomorphisms of a planar algebra ${\mathcal A}(\Omega)$ over a finitely connected bounded domain $\Omega \subseteq \C$ and ask if they are necessarily completely contractive. We show that a homomorphism…

We extend the theory of holomorphic induction of unitary representations of a possibly infinite-dimensional Lie group $G$ beyond the setting where the representation being induced is required to be norm-continuous. We allow the group $G$ to…

We study morphisms of internal locales of Grothendieck toposes externally: treating internal locales and their morphisms as sheaves and natural transformations. We characterise those morphisms of internal locales that induce surjective…

The purpose of this note is to shed some light on the preservation of unification types of locally finite varieties of interior algebras and varieties of Heyting algebras under the functors presented by W. Blok in his dissertation.