Does the morphism above imply the other way around, ie, y->x?

  • Thread starter Thread starter MathematicalPhysicist
  • Start date Start date
AI Thread Summary
The discussion centers on whether a morphism y->x can be inferred from x->y. It is clarified that while a bijective morphism allows for this implication, it is not universally applicable. The existence of morphisms between objects in a category does not guarantee a direct reverse relationship. Instead, there may be a set of morphisms from y to x, which could be trivial. The relationship between morphisms is nuanced and not simply reciprocal.
MathematicalPhysicist
Science Advisor
Gold Member
Messages
4,662
Reaction score
372
my question: does the morphism above imply the other way around, ie, y->x?
 
Mathematics news on Phys.org
Well...if it's bijective...yes...and it's a homomorphism...I guess...[?]
 
Originally posted by loop quantum gravity
my question: does the morphism above imply the other way around, ie, y->x?

there is a set of morphisms between any objects in your category. so while it is not correct to say that x-->y implies y-->x, it is true that there exists a set of morphisms (which might be trivial) from y-->x. but this is not dependent on the morphisms from x-->y
 

Thread 'What Exactly is Dirac’s Delta Function? - Insight'

Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
View full post »

Thread 'Fermat's Last Theorem'

Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
View full post »
Thread 'Imaginary Pythagorus'

Thread 'Imaginary Pythagorus'

I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
View full post »

Similar threads

I Correlation vs causality implied by a graph
Replies
45
Views
4K
B To calculate the polar unit vectors using rotated coordinates
Replies
1
Views
2K
I A way to comprehend the geometry of a hypercube
Replies
2
Views
2K
I A doubt about the multiplicity of polynomials in two variables
Replies
8
Views
2K
I What is the best way to emphasize the proportion of x or y in a dataset?
Replies
3
Views
1K
MHB Graph y=g(x): Sketch for [0,5] \implies R
Replies
2
Views
1K
I Sqrt of y^2=x^2: Why y=x or y=-x?
Replies
3
Views
1K
How Can We Quantify the Concept of 'Sameness' in Mathematics?
Replies
1
Views
2K
B A symmetric problem has an asymmetric solution - why?
Replies
21
Views
2K
B Inverse Functions: Why rewrite as y=f(x) ?
Replies
11
Views
2K

Hot Threads

Recent Insights

Back
Top