Related papers: Pure maps are strict monomorphisms

Let X be a compact (resp. compact and nonsingular) real algebraic variety and let Y be a homogeneous space for some linear real algebraic group. We prove that a continuous (resp. C^infinity) map f:X-->Y can be approximated by regular maps…

Let k be a field of characteristic zero. Let phi be a k-endomorphism of the polynomial algebra k[x_1,...,x_n]. It is known that phi is an automorphism if and only if it maps irreducible polynomials to irreducible polynomials. In this paper…

Planar polynomial automorphisms are polynomial maps of the plane whose inverse is also a polynomial map. A map is reversible if it is conjugate to its inverse. Here we obtain a normal form for automorphisms that are reversible by an…

We show that the condition of being categorical in a tail of cardinals can be characterized algebraically for several classes of modules. $Theorem.$ Assume $R$ is an associative ring with unity. 1. The class of locally pure-injective…

We show that pure monomorphisms are cofibrantly generated---generated from a set of morphisms by pushouts, transfinite composition, and retracts---in any locally finitely presentable additive category. In particular, this is true in any…

We consider differentiable maps in the setting of Abstract Differential Geometry and we study the conditions that ensure the uniqueness of differentials in this setting. In particular, we prove that smooth maps between smooth manifolds…

We define the affinization of an arbitrary monoidal category $\mathcal{C}$, corresponding to the category of $\mathcal{C}$-diagrams on the cylinder. We also give an alternative characterization in terms of adjoining dot generators to…

We prove under certain conditions that any stable unfolding of a quasi-homogeneous map-germ with finite singularity type is substantial. We then prove that if an equidimensional map-germ is finitely determined, of corank 1, and either it…

Categorical structures and their pseudomaps rarely form locally presentable 2-categories in the sense of Cat-enriched category theory. However, we show that if the categorical structure in question is sufficiently weak (such as the…

Here we classify all topological spaces where all bijections to itself are homeomorphisms. As a consequence, we also classify all topological spaces where all maps to itself are continuous. Analogously, we classify all measurable spaces…

A phantom map is a potentially nontrivial map which induces the zero map on every homology theory and on homotopy groups. Zabrodsky has shown that in the presence of particular finiteness conditions on spaces $X$ and $Y$ every map $X\to Y$…

We show that if there exists a topologically expansive homeomorphism on a uniform space, then the space is always a regular space. Through examples we show that in general composition of topologically expansive homeomorphisms need not be…

The set of all transformation monoids on a fixed set of infinite cardinality \lambda, equipped with the order of inclusion, forms a complete algebraic lattice Mon(\lambda) with 2^{\lambda} compact elements. We show that this lattice is…

We prove that the C*-algebra of a directed graph $E$ is liminal iff the graph satisfies the finiteness condition: if $p$ is an infinite path or a path ending with a sink or an infinite emitter, and if $v$ is any vertex, then there are only…

A map $\phi:M_m(\bC)\to M_n(\bC)$ is decomposable if it is of the form $\phi=\phi_1+\phi_2$ where $\phi_1$ is a CP map while $\phi_2$ is a co-CP map. It is known that if $m=n=2$ then every positive map is decomposable. Given an extremal…

Let $\mathbb F$ be an algebraically closed field, $G$ be an abelian group, and let $A$ and $B$ be arbitrary finite-dimensional $G$-graded simple algebras over $\mathbb F$. We prove that $A$ and $B$ are isomorphic if, and only if, they…

A finite relational structure A is called compact if for any infinite relational structure B of the same type, the existence of a homomorphism from B to A is equivalent to the existence of homomorphisms from all finite substructures of B to…

We consider proper holomorphic maps of ball complements and differences in complex euclidean spaces of dimension at least two. Such maps are always rational, which naturally leads to a related problem of classifying rational maps taking…

We prove new necessary and sufficient conditions for a morphism of coalgebras to be a monomorphism, different from the ones already available in the literature. More precisely, $\phi: C \to D$ is a monomorphism of coalgebras if and only if…

Effective bounds for the finite number of surjective holomorphic maps between canonically polarized compact complex manifolds of any dimension with fixed domain are proven. Both the case of a fixed target and the case of varying targets are…