Questions tagged [epimorphisms]

For questions related to epimorphisms, which are categorical generalizations of surjective functions.

Filter by
Sorted by
Tagged with
0
votes
1answer
55 views

Epic does not always imply surjective?

I'm asking about one type of proof of epic $\implies$ surjective like Clive Newstead's answer in Epic implies Surjective or Thomas Andrew's answer in Morphism epimorphism if and only if surjective. ...
1
vote
0answers
43 views

is there an epimorphism $\pi_1(\mathbb{U}(n))\twoheadrightarrow \pi_1(\partial( [ -1,1 ]\times [ -1,1 ]))$?

We are considering the set $ \mathbb{U}(n)= \{X \in \mathbb{C}^{n \times n}: X^{\ast}X = XX^{\ast} = I_n\} $ as a topological subspace of $ C^{n \times n} $ with respect to the Frobenius metric ...
3
votes
0answers
64 views

correspondence between epi and monos

I want to know if there is a problem with this argument: Let $C$ be a category and $F$ be a faithful functor $C^{op}\rightarrow C$, with left adjoint $F^{op}: C\rightarrow C^{op}$ If $f: A\rightarrow ...
2
votes
0answers
21 views

base change functor preserves internally projective objects

Let $E$ be a topos . an internally projective object is an object $P$ for which $(-)^P:E\rightarrow E$ preserves epi morphisms. Equavalently: $E/P\rightarrow E$ preserves epis. Prove that for ...
3
votes
0answers
45 views

Internally projective object gives a commuting square

Let $\epsilon$ be a topos and $P$ be an object of $\mathcal{E}$ such that $(-)^P: \mathcal{E} \rightarrow \mathcal{E}$ preserve epis then the right adjoint to pull back $\Pi _P : \mathcal{E} /P \...
4
votes
1answer
56 views

Do pull backs preserve epi morphisms in a topos?

Do pull backs preserve epi morphisms in a topos? I know epi morphisms are not always preserved by pull back, but what if the category is a topos?
2
votes
0answers
55 views

Skewed duality between mono- and epi- morphisms

The duality between monomorphisms and epimorphisms is well understood in terms of the opposite category (reversing the arrows). However, it is much less obvious on intuitive level. To cite Notes on ...
2
votes
1answer
54 views

Relation between epi and mono in a category

Let $f: A \rightarrow B$ be an epic morphism in category $C$. Then is it true that the morphism $h: \text{Hom}(B,-)\rightarrow \text{Hom}(A,-)$ is mono? If yes why? What if $B$ is the initial object? ...
1
vote
2answers
58 views

The axiom of choice for a category

I am currently studying the counterpart of axiom of choice in ETCS which is the axiom that every surjective function has a right inverse. In category of sets the surjective functions are epimorphsims ...
2
votes
3answers
91 views

Unique maximal ideal and ring epimorphism kernel with prime numbers equivalence

Let $A$ be a ring. Let $f: \mathbf{Z} \to A$ be a surjective ring homomorphism. Prove that $A$ has a unique maximal ideal iff there exists $n\in \mathbf{N}$ and $p\in\mathbf{N}$ a prime number such ...
0
votes
1answer
53 views

Determine if the function is epimorphism

Let $U_{n}$ be the multiplicative group of the $n$th roots of unity; this group is cyclic of order $n$ and is generated by $w = \cos(\frac{2\pi}{n})+i\sin(\frac{2\pi}{n})$. If we define $f: (\mathbb Z,...
0
votes
1answer
26 views

Epimorphism between unital algebras is unital

How could you prove the following statement? Let A and B are unital algebras. If $f:A\to B$ is an epimorphism, then $f$ is unital; i.e. $f(1)=1$.
4
votes
0answers
55 views

Function-like monos and epis

When dealing with $\textbf{Set}$ we have that if $f:A\to B$ is a monomorphism, $g:A\to A’$ is an epimorphism, and adding $f’:A’\to B$ we have a commuting triangle, then $f’$ must be a monomorphism. ...
-1
votes
1answer
33 views

One of a math problems [closed]

For modules, let $M = M_1 ⊕ M_2$ and let $f :M→N$ be an epimorphism with $K = \ker f$ and $N = f(M_1) + f (M_2)$. (1) Prove that if $K= ( K \cap M_1)+ (K \cap M_2)$, then this sum is direct. Could ...
1
vote
1answer
99 views

Monoidal adjunction whose right-adjoint functor has structure morphisms which are epimorphisms

Let $(\mathbf{C},\otimes,1)$ and $(\mathbf{D},*,e)$ be monoidal categories and let $L:\mathbf{C}\rightarrow \mathbf{D}$ and $R:\mathbf{D}\rightarrow \mathbf{C}$ be functors. Suppose that there exists ...
0
votes
1answer
51 views

Fibrations are thought of as epimorphisms

In the book More concise algebraic topology on the page 213 they write We think of fibrations as analogous to epimorphisms. BUT Hovey on the page 51 says $f$ is a fibration if it is in $J-inj$. My ...
1
vote
2answers
186 views

Monomorphisms and epimorphisms in the category of chain complexes

Let $\mathsf{C}$ be an abelian category and $\mathsf{Comp(C)}$ its category of chain complexes. Suppose that $f\colon (C,d)\to (C',d')$ is a monomorphism in $\mathsf{Comp(C)}$. I want to prove that ...
0
votes
1answer
47 views

$R$ is a commutative ring with $1$, prove that there exist epimorphism from $R[x]$ onto $R$.

$R$ is a commutative ring with $1$, prove that there exist epimorphism from $R[x]$ onto $R$. I maybe able to show that R[x] onto R is a homomorphism but I'm not sure how to show that it is onto and ...
0
votes
2answers
509 views

If $R$ is a PID, $S$ an integral domain and $f: R \to S$ is an epimorphism, why is it that either $f$ is an isomorphism or $S$ is a field?

If $R$ is a PID, $S$ an integral domain and $f: R \to S$ is an epimorphism, why is it that either $f$ is an isomorphism or $S$ is a field? PID - Principal Ideal Domain What I know: If $S$ is not a ...
3
votes
1answer
79 views

Proving the inclusion map of an integral domain into its quotient field is an epimorphism

As a well-known example of a ring homomorphism which is monic and epi, but not a ring isomorphism, serves the inclusion map $\iota:\Bbb Z\hookrightarrow\Bbb Q$. While the monocity follows immediately ...
1
vote
1answer
161 views

In Set, why are projections not epic but injections are monic?

I'm working through Bird and DeMoor's Algebra of Programming and I have some basic gaps in my understanding. Problem 2.28 asks if projection outl is epic in Set, if inl is monic, and why the ...
11
votes
1answer
243 views

Is an epimorphic endomorphism of a noetherian commutative ring necessarily an isomorphism?

Let $A$ be noetherian commutative ring with one, and let $f:A\to A$ be an epimorphic endomorphism of $A$. Is $f$ necessarily an isomorphism? ("An epimorphic endomorphism" means of course "an ...
6
votes
1answer
122 views

Monomorphism & epimorphism in the category of schemes

Is there a morphism in the category of schemes which is simultaneously a monomorphism and an epimorphism yet is not an isomorphism? "Nicer" examples are preferred (e.g. with integral Noetherian ...
1
vote
1answer
122 views

Example of a NON-effective epimorphism

I'm reading Introduction to Étale Cohomology by Tamme and I'm confused by the notion of effective epimorphism (page 25, section 1.3.1). Recall that an epimorphism (in a category $\mathbf{C}$) is a ...
0
votes
1answer
72 views

Epimorphism and generator of Mod-$ R $

I am stuck with a question that should be very simple, because ALL the books and references that I have read say the same: ''is obvious and we will not prove it''. Is the following statement: ''Let $...
2
votes
2answers
326 views

Why is epimorphism not defined as follows?

Epimorphism in category theory, can be seen as a generalization of "surjective function" in Set. But we could also have characterized surjective functions in Set as follows: Definition (*). $f:A\...
-1
votes
2answers
121 views

Fundamental homomorphism theorem (epimorphism)

Let φ : R → S be a ring epimorphism. Prove that R/kerφ ∼= S. Is this the fundamental homomorphism theorem? I thought the FHT started with a ring homomorphism and not an epimorphism. Does this change ...
3
votes
1answer
334 views

Morphism=monomorphism•epimorphism?

Is it true that any morphism in any category can be written as a combination of monomorphism and epimorphism? In SET and categories where monomorphism is an injective function and epimorphism is a ...
7
votes
1answer
234 views

Strict Epimorphism of Schemes

I am reading Milne's Etale Cohomology and ran across this problem which has so-far eluded me. According to Milne, in any category with fiber products, we say that a morphism $f:Y \to X$ is a strict ...
1
vote
2answers
948 views

The inclusion of $\mathbb{Z}\to\mathbb{Q}$ is not and epimorphism

I have to prove this only in basic ring theory, I have read something in category theory, but its too complex. The definition of epimorphism that I have is that the function can cancel other functions ...
11
votes
3answers
1k views

Epimorphism and monomorphism explained without math?

I'm trying to understand category theory to increase my coding skills and epimorphism and monomorphism aren't clear to me. Unfortunately, my last formal education was when I was 12 due to ...
4
votes
1answer
322 views

Epimorphism, in the category of commutative rings with unity , with domain a field is an isomorphism?

Let $R$ be a commutative ring with unity and $k$ be a field. Let $f: k \to R$ be an "epimorphism" of commutative rings (https://en.wikipedia.org/wiki/Epimorphism) i.e. $f$ is a ring homomorphism ...
4
votes
1answer
521 views

Is surjection an epimorphism without the axiom of choice?

If a map of sets $f:A\to B$ is surjective then it is an epimorphism. Is it possible to prove this without the Axiom of Choice? I know that in order to prove that surjective maps have right inverses we ...
0
votes
2answers
113 views

If $f:G→ℤ_{8}$ be a group epimorphism , then what can be said about $G$?

I was trying to answer the following problem : Let $G$ be a finite group and $ f : G \to \Bbb Z_8$ be a group epimorphism, then which of the following must be true ? (a) $G$ is isomorphic to $Z_8$ ....
1
vote
1answer
144 views

In a category with binary products, every strong epimorphism is an epimorphism.

I can't prove the title proposition. So let $f$ be a strong epimorphism of a category with binary products. Let $u,v$ be morphisms such that uf=vf. I want to prove that $u=v$. I consider the ...
-1
votes
1answer
65 views

Is there a group epimorphism $\mathbb{R} \to S_3$?

I had to found some group epimorphisms and I stucked with this example. Is there an epimorphism from a group $(R,+)$ - real numerbes with addition onto a group $(S_3,\circ)$?
1
vote
1answer
35 views

Show that a continuous epimorphism pushes forward connectedness

Let $f:X\to Y$ be a continuous epimorphism where $X$ is connected. Show that $Y$ is connected. Now I know the concept of epimorphism and connectedness, just not sure how those two are linked with ...
0
votes
2answers
215 views

Epimorphism and surjection

I have seen on http://mathworld.wolfram.com/Epimorphism.html A morphism $f:Y \to X$ in a category is an epimorphism if, for any two morphisms $u,v:X\to Z, uf=vf$ implies $u=v$. In the categories ...
2
votes
2answers
457 views

A monomorphism and epimorphism that is neither injective nor surjective(set-theoretically)

Is it possible to construct a category such that there is a monomorphism and epimorphism that is neither injective nor surjective(set-theoretically). I notice that there is a solution in which a ...
2
votes
1answer
996 views

A morphism of sheaves is an epimorphism if and only if it is surjective on the level of stalks

Let $\phi: \mathscr{F} \to \mathscr{G}$ be a morphism of sheaves. Recall that $\phi$ is an epimorphism if given $\psi_1, \psi_2: \mathscr{G} \to \mathscr{H}$, then $\psi_1 \circ \phi = \psi_2 \circ \...
6
votes
3answers
1k views

Why does the name “epimorphism” refer to a surjective homorphism?

The wikipedia page talks about epimorphisms with category theory in mind, but I have no experience with this and ask this question from a group theory point of view (answers from any point of view are ...
3
votes
2answers
175 views

Epimorphisms and faithful functors in a rigid abelian tensor category

Let $\mathsf{C}$ be a rigid abelian tensor category in the sense of Deligne and Milne's notes (p.9). Let $\mathbf{1}$ denote the identity object in $\mathsf{C}$ with respect to $\otimes$. The abelian ...
9
votes
5answers
5k views

Morphism epimorphism if and only if surjective

In the category of sets, I want to prove that a morphism is an epimorphism if and only if it is surjective. In both directions, I'm having a hard time approaching this problem. This is how far I got....
8
votes
1answer
253 views

Is I-adic completion a ring epimorphism?

Let $R$ be a commutative ring and let $I \subset R$ be an ideal. For any $n \ge 1$, the ring homomorphism $R \rightarrow R/I^n$ is surjective, hence an epimorphism in the category of rings. What about ...
3
votes
1answer
318 views

Counterexample for commutative diagram of epimorphism.

$f:X\rightarrow Y$ is an epimorphism iff first diagram on the picture is a pushout. Can I say "there is a pushout along the morphism h"? Is my example of non-epimorphism (below on the picture) ...
1
vote
1answer
68 views

Let $h: G \to H$ an epimorphism. If N is a normal subgroup of H, show that $G/h^{-1}(N) \simeq H/N.$

Let $h: G \to H$ an epimorphism. If N is a normal subgroup of H, show that $$G/h^{-1}(N) \simeq H/N.$$ I have the good intuition that I have to use the first isomorphism theorem. I'm not able how ...
2
votes
0answers
74 views

Projective cover and epimorphism

Let $C$ be an abelian category and let $X$ be an object with finite length. Thus there is a composition series $0=X_0 \stackrel{\iota_0}{\rightarrow}X_1\stackrel{\iota_1}{\rightarrow}\cdots X_{n-1} \...
3
votes
0answers
189 views

Intuitive idea to consider strict epimorphism

In a category with fiber products, a morphism $Y\to X$ is said to be strict epimorphism if the sequence is exact: $Y\times_XY\xrightarrow{p_1,p_2}Y\to X$, (here the first arrow should be a double ...
2
votes
2answers
764 views

Ring monomorphism and epimorphism

$$\large{\Phi: \mathbb Z[X] \rightarrow \mathbb R \; s \; \Phi(p(X)) \; := \; p(\sqrt{5})}$$ Hello guys so I have the following problem: I have to prove whether the following mapping is ring ...
3
votes
1answer
1k views

The pushout of an epimorphism is an epimorphism

I'm reading the book "Handbook of Categorical Algebra: Volume 1, Basic Category Theory" by Francis Borceux, and in page 52 he states that "..."the pullback of a monomorphism is a monomorphism". ...