Types of Mathematical "Sameness" What types of mathematical "sameness" do we have?
From what I've gathered (through studies / this afternoon):


*

*Equality between numbers or sets (meaning $A\subset B \;\&\; B\subset A$)

*Homeomorphism between topological spaces (preserving topological properties)

*Homomorphism between two algebraic structures, preserving their respective properties

*Isomorphism in algebra, a bijective homomorphism (related question)

*Graph isomorphism (added separately because of its importance in graph theory, unlike in abstract algebra)

*Congruence in algebra (e.g. $a \equiv b \; (\text{mod } n)$)

*Same cardinality of sets when there exists a bijection between them

*Congruence (geometry) if one object can be translated into another through an isometry
I am aware that this question might be vague, ill-defined, or too broad since I am asking about objects which I do not yet perhaps know. There might be too many, it might not be clear whether two types are different in the light of this question. I'd simply like to learn more and clarify my existing knowledge. (Also, Math.SE community often gives excellent and eye-opening answers to sometimes even very confused questions - as long as the confusion does not only stem from lack of effort)
Thank you.
Note: I chose the odd title deliberately as to not to hint towards some more mathematical  meaning (e.g. equality).
 A: Geometry has lots of notions of sameness.
Euclidean geometry says two things are the "same" if they are congruent.
Affine geometry says two things are the same if there is an affine transformation between them. (An affine transformation is the sort of "shearing" operation that converts a rectangle to a parallelogram, or a dilation, or an isometry, or a combination of those.) All triangles are affine-congruent. All ellipses are affine-congruent. Lengths are not preserved by affine transformations, but midpoints and collinearity are.
Projective geometry says two things are the same if there is a projective transformation between them. All conic sections are projective-congruent. All quadrilaterals are projective-congruent, IIRC.
This is basically the Kleinian view of geometry, which I learned from this textbook.
A: The notion of computational indistinguishability, whereby two objects are considered "the same" if no efficient (i.e., polynomial-time) algorithm can tell them apart, is central to modern cryptography. (The formal definition involves families of random variables and is a bit messy, this is something most if not all beginners in cryptography struggle with.)
In general, being able to distiguish the two objects under consideration results in "breaking" the proposed cryptographic system, but it is unreasonable to require that this be absolutely impossible because it would result in the impossibility of constructing a practical system satisfying the desired properties (or even of constructing such a system at all). Hence, by merely requiring them to be computationally indistinguishable (as opposed to identical), we accept that it could be possible for an adversary to break the system as long as the computational cost of doing so is (believed to be) sufficiently high to be out of reach of any physical entity. On the other hand, it allows for systems sufficiently practical to be used in practice, as we know them today.
A: This could be quite an open-ended question.
On the other hand, in the sense that "sameness" can often be expressed as an equivalence relation, we might consider various different kinds of "sameness" the "same".
But perhaps we can just each contribute one or two examples to the list and call that an "answer"?
There are at least two versions of the integral and differential calculus: standard analysis and non-standard analysis.
An application of the transfer principle relates these two kinds of analysis, showing that they are in some sense "the same"
despite their obvious (and formerly very controversial) differences.
