Questions tagged [morphism]
In category theory, a morphism is a structure-preserving map, such as continuous mappings on topological spaces, measurable functions, and linear maps.
191
questions
1
vote
0
answers
17
views
If $\mathcal{C}$ has pullbacks & coequalisers, and the pullback of a regular epi is epic, morphisms factorise as regular epic & monic
I'm trying to show that if $\mathcal{C}$ has pullbacks & coequalisers, and the pullback of a regular epimorphism is epic, morphisms factorise as a regular epic followed by a monic.
My approach so ...
- 814
0
votes
1
answer
78
views
Is there example of equalizer that is not injective?
we know that in general case every arrow is not function also in the $Div \mathbb{A}b$ there is example of monic that is not injective.
Is there example of equalizer that is not injective ?
- 4,069
1
vote
2
answers
135
views
Number of ring endomorphisms of $\mathbb{Z}[\zeta_n]$
Let $n \in \mathbb{N}$ and $\zeta_n = e^{2i\pi/n} $ we define the following subring of $\mathbb{C}$ by,
$$\mathbb{Z}[\zeta_n] = \{ P(\zeta_n) : P \in \mathbb{Z}[x]\}$$
One can easily show that,
$$\...
- 2,272
0
votes
1
answer
69
views
In category theory, should morphisms apply to specific objects or to any objects in the category?
I am not sure to correctly understand the notion of morphism in category theory. To try to better understand, let's take a very simple example. Let's say that we have a category $\mathcal{C}$:
whose ...
- 1,323
0
votes
0
answers
30
views
Is shape morphism invariant to the cardinality of the set of components/quasicomponents?
Let $X$ and $Y$ be two topological spaces. We denote with $CX$ and $CY$ the sets of connected components and $QX$ and $QY$ the sets of quasicomponents for the corresponding spaces.
It is well known ...
- 3,106
0
votes
1
answer
33
views
Weighted limits
I have a very trivial question about the page 80 here: how this shape of $W$ $$W:2\to \mathbf{Set}$$ with $$\ast\sqcup\ast\to \ast$$ implies that the components of $$W\Rightarrow\cal{M}(m,f)$$
are ...
- 3,578
0
votes
0
answers
32
views
Preimage of a proper morphism
We know that proper morphisms of varieties take closed subsets to closed subsets. What can I say of the preimage of a proper morphism? For example, if I know that $f(g(x))$ is an uncountable ...
- 161
1
vote
2
answers
61
views
What does it mean that "All diagrams commute in a posetal category"?
I am quite familiar with posetal categories, however, I just randomly came accross the claim that "all diagrams commute in a posetal category" on Wikipedia.
I am confused, what does it even ...
- 1,922
2
votes
1
answer
77
views
Let $G_1$ and $G_2$ be groups and $\pi_1:G_1\times G_2\rightarrow G_1$
Let $G_1$ and $G_2$ be groups and $\pi_1:G_1\times G_2\rightarrow G_1$ be the function defined by $\pi_1(a,b)=a$. Prove that $\pi_1$ is a homomorphism, find $\ker(\pi_1)$, and prove $(G_1\times G_2)/\...
- 569
0
votes
0
answers
23
views
Constructing $k$-morphisms between algebraic curves
Let $k$ be a finite field containing a sixth root of unity $\xi_6$. Let $C: t^2 = s^6 - 1$ be an hyperelliptic curve over $k$. Let $E': \eta^2 = \xi^3 + 1$ be an elliptic curve over $k$. I am trying ...
- 113
2
votes
0
answers
52
views
Prove the sheaf isomorphism is local
EDIT: It turns out I have read the statement wrongly. The statement in Wikipedia actually requires $\psi_{U_i}$ are isomorphisms of sheaves. With this, it's then clear how the result follows with my ...
- 569
4
votes
0
answers
115
views
When does a given type of 'mathematical structure' (groups, metric spaces...) have a 'natural' choice of morphism to turn it into a category?
Consider a class of sets sharing some structure and properties e.g. groups, vector spaces, metric spaces, topological spaces, rings, fields. I am curious about under what conditions there may be a '...
- 2,520
5
votes
2
answers
154
views
Graph with no nontrivial endomorphisms?
For context, I'm trying to determine whether there exists a full and faithful functor $F:\mathsf{Dgr}\to\mathsf{SimpGph}$ that "encodes" directed graphs as simple graphs. Right now I believe ...
- 37.3k
1
vote
1
answer
65
views
the direction of a point of a topos
I would like to understand what is the direction of a point of a topos.
A point of a topos $\cal T$ in one source (2nd snippet below) is a functor preserving finite limits
and all colimits $$p^*:{\cal ...
- 3,578
0
votes
1
answer
37
views
Morphism between algebraic (smooth) curves of degree 1 is an isomorphism. Does the converse holds?
Morphism between algebraic (smooth) curves of degree 1 is an isomorphism.
Does the converse holds ? In other words, isomorphism between algebraic smooth curves has always degree 1 ?
Degree of morphism ...
- 574
0
votes
1
answer
66
views
Initial objects in the category of bilinear maps $M \times N \to L$. where $M,N$ are fixed $R$-modules, and $L$ arbitrary $R$-module.
In our class we are looking at the definition of tensor product, and here’s a (paraphased) remark that I don’t get.
Let $M,N$ be fixed $R$-modules, and $L$ an arbitrary $R$-module. At this point we ...
- 2,015
1
vote
0
answers
53
views
What is an isomorphism between $L:aX+bY=Z$ and $\Bbb P^1_K$?
It is known that genus $0$ smooth curve over field $K$ with base point is isomorphic to $\Bbb P^1_K$ over $K$.
I want to understand this with a lot of examples.
For example, let $a,b\in K^\times$ and ...
- 364
7
votes
2
answers
110
views
A more succinct group object diagram (all axioms in one connected diagram), questions about its properties...
Here is the definition of group object from nLab. They give 3 associated maps $* \xrightarrow{1} G$, $m: G^2 \to G$, and $-^{-1}: G \to G$ and require 3 commutative diagrams to complete the axioms ...
- 19.5k
0
votes
1
answer
35
views
Graded algebras and symbols
Take $A$ a commutative unitary $\mathbb{C}$-algebra and take
$A_0\subset A_1\subset...$ a filtration on $A$. If $$GrA=\bigoplus \frac{A_n}{A_{n-1}}$$with $A_{-1}=0$, is the associated graded algebra. ...
- 97
2
votes
1
answer
60
views
Why there is no notion ´bijective´ regarding morphism of schemes?
Morphism of schemes is defined as morphism between ringed spaces, and the morphism is not a map (pair of maps), so we cannnot define notion of bijectivity of morphism in the category of schemes, is my ...
- 574
0
votes
1
answer
59
views
Let $F:\mathcal{A}\to\mathcal{B}$ be a fully faithful covariant functor. Then, if $F(f):F(A_1)\to F(A_2)$ is an isomorphism, so is $f:A_1\to A_2$.
I’d like to ask for checking of my attempt below.
We want to find $g: A_2 \to A_1$ such that $f \circ g = 1_{A_2}$ and $g \circ f = 1_{A_1}$. So define $g: A_2 \to A_1$ to be a morphism such that $F(...
- 2,015
1
vote
1
answer
55
views
How do I prove the following statement about the kernel?
I have the following problem:
Given a finite group $G$ and $p$ the smallest prime dividing $card(G)$. Let $H$ be a subgroup s.t. $card(G\setminus H)=p$ Let $X=G\setminus H$ and consider the action $$...
- 1,284
0
votes
0
answers
16
views
Question about morphism of algebras
I wanna show that $(K^X)^G \simeq K^Y$. Well, I will explain what is $X,Y$ and $G$ in this context.
Let $X$ be a nonempty set and $G$ a group, with an action over $X$. Let $K^X$ be the algebra of ...
- 1,636
2
votes
2
answers
74
views
What does "up to" mean?
There are several prior questions of the form "What does 'up to X' mean?" The answers generally focus on "X", which has led some commentators to ask "What does 'up to' mean?&...
- 241
1
vote
1
answer
149
views
Find a finite morphism $F:X\to\mathbb{P}^k$.
I am working in the following problem from my algebraic geometry course:
Let $X$ be a projective set of $\mathbb{P}^n$. Prove that there exists a finite regular morphism $F:X\to\mathbb{P}^k$, where $k=...
- 1,408
0
votes
1
answer
62
views
$M \hookrightarrow M[t^{-1}]$
Take $M$ an $X=\mathbb{C}[[t]]$-module.
first question I've to prove that: If $M$ is flat then $M$ is a submodule of $M[t^{-1}]$.
Here my attempt.
We have:
$$M\cong M\otimes_X\mathbb{C}[[t]] \...
- 97
0
votes
0
answers
40
views
Is a morphism a special case of a function?
https://en.wikipedia.org/wiki/Morphism states that
In mathematics, particularly in category theory, a morphism is a structure-preserving map from one mathematical structure to another one of the same ...
- 883
4
votes
1
answer
48
views
"prime" or "indecomposable" morphisms in small category [duplicate]
Let me start by saying I have had to teach myself all the category theory I know, if I can even call it knowing category theory haha. I am now in a class using Emily Riehl's Category Theory in Context....
- 253
1
vote
1
answer
9
views
On the existence of zeroes for non-monomorphic linear operators.
In Linear Algebra by Georgi E. Shilov the author gives the following theorem:
The operator $A:X\to Y$ has a left inverse$\iff$$A$ is a monomorphism. The operator $B:Y\to X$ has a right inverse$\iff$$B$...
- 414
0
votes
0
answers
37
views
How to describe all homeomorphisms on $l^2$
I know homeomorphisms are something like transformations of a space. But I am struggling to make some "system" of all homeomorphisms of given space (say $l^2$) and whether we can describe ...
- 1,922
4
votes
1
answer
91
views
Description Morphisms from Category theory in the language of set theory
I have a good understanding of set theory and axiomatic set theory and I am trying to now understand Category theory. I usually understand most of mathematics through set theory, like I understand ...
- 41
1
vote
1
answer
73
views
Milne, Elliptic Curves, Theorem 2.1 b), Correctly Stated? - Verifying Something is an Isomorphism of Curves.
I am quite confused about an elementary verification of something that's part of the Theorem in the title. $E(a,b)$ is an elliptic curve defined by the equation $Y^2Z = X^3+aXZ^2+bZ^3$. The statement ...
- 800
4
votes
3
answers
137
views
Attempt to define the notion of subobjects
I attempted to generalize the notion of subsets for an arbitrary category.
Given an object $X$, an object $Y$ shall be called $X$'s subobject iff there exists a monomorphism $f : Y → X$.
Dually, $Y$ ...
- 1,297
-2
votes
1
answer
53
views
Is a functor that is injective on both objects and morphisms at the same time an embedding functor? [closed]
In category theory:
Assuming there is a category with n objects and j morphisms between them, is it possible that a functor simply adds m new objects and k new morphisms between these, while leaving ...
- 3
1
vote
1
answer
65
views
isomorphisms are exactly the morphisms that take colimit cocones to colimit cocones
I would like to understand why isomorphisms are exactly the morphisms that take colimit cocones to colimit cocones. I believe that both directions are easy but they are not immediate to me. Which ...
- 3,578
0
votes
1
answer
56
views
Proof of Theorem 6.1(b) in Silverman's AEC
I'm learning about the construction of the dual isogeny in Silverman's Arithmetic of Elliptic Curves. In particular, I'm reading the proof for Theorem 6.1 from Chapter III. There is a (probably easy) ...
- 1,137
0
votes
1
answer
17
views
If $f: A \to B$ is a morphism with $f(I) \subset J \trianglelefteq B$, then there is $\tilde{f}: I/I^2 \to J/J^2$.
Let $A, B$ be commutative rings, $I\trianglelefteq A$, $J\trianglelefteq B$ and a ring morphism $f: A \to B$ such that $f(I) \subset J$. I was wondering if this map $f$ induces a map
$$\tilde{f}:I/I^2 ...
- 2,463
-3
votes
1
answer
46
views
Arrow category $\cal K^\to$ [closed]
I would like to understand here
on the page $6$ in the definition $3.3$ how works the functor $F:\cal K^\to \to K$.
They say
...
- 3,578
0
votes
1
answer
25
views
Sketches, the realized sketch and a model
I have a problem here with this statement in Chapter 2,Details:
In particular, $T$ is realized if and only if its identity functor is a model.
Namely, I do not know how the identity functor arises ...
- 3,578
0
votes
1
answer
140
views
Understanding Hartshorne's example II 3.2.2
Example 3.2.2. If $P$ is a point of a variety $V$, with local ring $\mathcal{O}_P$, then $X:=\operatorname{Spec} \mathcal{O}_P$ is an integral noetherian scheme, which is not in general of finite type ...
- 603
0
votes
1
answer
45
views
why this condition implies uniqueness
Suppose that in a category
if a morphism $g$ has the same domain as $p$ and $$pu=pv$$ implies $$gu=gv$$ then $$g=tp$$ for some $t$.
Then $t$ is unique. Is it true; how can I (dis)prove this ?
See ...
- 3,578
0
votes
0
answers
21
views
Show that an order-isomorphism is necessarily a bijective mapping but the converse is not true.
Show that an order-isomorphism is necessarily a bijective mapping but the converse is not true.
My try for the converse: let $L=M=\{0,1\}$ and $f$ is defined by $f(0)=1,f(1)=0$. This can be easily ...
- 795
0
votes
1
answer
87
views
Difference between order isomorphism and order homomorphism
I read on Applied Abstract Algebra by Rudolf Lidl and Gunter Pilz that if $L$ and $M$ be two lattices and $f:L\to M$ be a mapping, then $f$ is order homomorphism if $x\le y\implies f(x)\le f(y)$.
On ...
- 795
2
votes
1
answer
56
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? ...
- 807
0
votes
2
answers
66
views
Are there $f: A\rightarrow B$ and $g: B\rightarrow A$ but $g\circ f$ is not identity?
I am new to category theory.
I found the following definition.
An arrow $f:A\rightarrow B$ is called an isomorphism,
if there is an arrow $g:B\rightarrow A$ such that
$$
g\circ f=\mathrm{id}_A
$$
and
$...
- 15
5
votes
2
answers
120
views
Morphism of topoi - the canonical topology
Let $T,T'$ be Grothendieck topoi and $(f^\ast,f_\ast): T' \to T$ a morphism of topoi, i.e. $f^\ast\colon T\to T'$ is left adjoint to $f_\ast\colon T\to T'$ and $f^\ast$ commutes with finite limits.
In ...
- 150
0
votes
1
answer
75
views
morphism between two princial bundle over the same mainfold?
Let $ \pi : P \rightarrow B$ and $\pi' ; Q \rightarrow B$ be two principal G- bundles.
Why this is true:
If $f : P \rightarrow Q $ is a morphism of the pricipal G-bundles P and Q ( i.e. $f(p.g)= f(p)...
- 1,270
0
votes
0
answers
88
views
Image of a projective variety under a morphism
Let $f:X \rightarrow Y$ be a morphism of projective varieties. If $X=\cup_{i=1}^n X_i$ is the irreducible decomposition of $X$ does the following hold? $$f(X)=f\left(\bigcup_{i=1}^n X_i\right) = \...
- 155
1
vote
0
answers
25
views
Pullback of a pencil on a smooth surface with irreducible fibers is injective
We consider $f\colon X \to \mathbb{P}^1$ a non degenerate morphism of a smooth surface $X$ with irreducible fibers. I want to understand why $f^*: H^0(O_{\mathbb{P}^1}(1))\to H^0(O_X(F))$ is an ...
- 6,793
0
votes
1
answer
38
views
What morphisms must exist in a category if the morphism between two hom-sets relative to that category's objects exist?
I'm asking this and other questions in an attempt to tackle something I'm having a hard time to understand from another point of view.
Let's consider a category $C$ with 4 objects, $a$, $b$, $c$, and $...
- 305