Making sense of a bijection between proper classes?
135760
Can proper classes also have cardinality?
67451
Building a bijection from a finite union of countable sets to $\mathbb{N}$
85338
Equivalence relations on classes instead of sets
70199
When do I use a dot, arrow, or double colon to refer to members of a class in C++?
124374
A bijective function between a square and its side
140503
What properties do natural isomorphisms between functors preserve?
93015
A -> B, B -> A classes association
76162
Does Scala's pattern matching violate the Open/Closed Principle?
102899
Category theory with objects as logical expressions over $\{\vee,\wedge,\neg\}$ and morphisms as?
82730
Legitimate uses of Object(o)
120495
Does this correctly interpret the "$\cong$" between groups as "$=$" between sets?
54156
Elegant ways to support equivalence ("equality") in Python classes
130381
bijection from $(a,b)$ to $\Bbb R$
113426
Java - Order of Operations - Using Two Assignment Operators in a Single Line
146356
To prove two sets are isomorphic is it sufficient to find 2 injections or 2 surjections?
83615
split conjugacy class in $S_n$ into two equal size conjugacy classes in $A_n$
118472
Is there a systematic way of finding the conjugacy class and/or centralizer of an element?