Showing a construction verifies the $\Omega$-axiom for monoid action
122110
Character of the subobject classifier in the topos of $\mathbf{M}$-sets.
21243
Kaplansky's theorem of infinitely many right inverses in monoids?
41483
Proof relation between Levi-Civita symbol and Kronecker deltas in Group Theory
114662
Construction of a specific non-commutative and infinite group (with conditions on the order of the elements)
31389
consistency of ZF\{Power Set axiom}
135422
$\operatorname{Hom}(-,A) \cong \operatorname{Hom}(-,A') \Rightarrow A \cong A'$, proof verification
142887
Exercise 1 pg 33 from "Algebra - T. W. Hungerford" - example for a semigroup-hom but not monoid-hom..
114431
Monoids and Subgroups
43711
Categorical Quotient and group actions
144362
The construction of a Vitali set
148516
Proof that $\omega^\omega$ is completely metrizable and second countable
32965
Proving that for infinite $\kappa$, $|[\kappa]^\lambda|=\kappa^\lambda$
129813
Is there an easy proof for ${\aleph_\omega} ^ {\aleph_1} = {2}^{\aleph_1}\cdot{\aleph_\omega}^{\aleph_0}$?
133884
A proof using Yoneda lemma
141895
Proving that a sequence is monotone
52750
Prove that $f^\ast\omega=\det f \cdot \omega$
69337
Zorn's Lemma And Axiom of Choice