Reputation
677
Top tag
Next privilege 1,000 Rep.
Create new tags
Badges
5 17
Impact
~14k people reached

  • 0 posts edited
  • 0 helpful flags
  • 36 votes cast
Feb
26
awarded  Popular Question
Dec
9
accepted Adjoint to forgetful functor from $\textbf{Met}$ to $\textbf{Set}$
Dec
4
accepted Right adjoint of functor from Torsion groups to Groups
Dec
4
comment Right adjoint of functor from Torsion groups to Groups
Aha! That explains it. I am guessing that too, so I'll do the proof with the abelian case instead, and put a note about the other situation.
Dec
4
asked Adjoint to forgetful functor from $\textbf{Met}$ to $\textbf{Set}$
Dec
4
asked Right adjoint of functor from Torsion groups to Groups
Dec
2
accepted Number of automorphisms of saturated models
Nov
18
comment Characterizability in $L^2_{\kappa^+\omega}$
@AsafKaragila No assumptions at all regarding GCH. And besides, my example works (to prove my confusion :) ) regardless of the validity of GCH.
Nov
18
revised Characterizability in $L^2_{\kappa^+\omega}$
added 645 characters in body
Nov
18
revised Characterizability in $L^2_{\kappa^+\omega}$
Added link to article and new attempts at solving
Nov
16
comment A forcing that is $\omega_1$-closed and $\omega_2$-c.c.
Did you mean $\omega_1$ there at the end?
Nov
16
comment A forcing that is $\omega_1$-closed and $\omega_2$-c.c.
@AsafKaragila It's a yet unpublished (I think) article by Kangas, Hyttinen and Vaananen.
Nov
16
asked Characterizability in $L^2_{\kappa^+\omega}$
Nov
16
asked A forcing that is $\omega_1$-closed and $\omega_2$-c.c.
Oct
23
awarded  Yearling
Sep
19
comment What are the epis in Met?
Just noticed... my morphisms were contractions. How do you know that your $g_2$ is a contraction?
Sep
19
accepted What are the epis in Met?
Sep
19
asked What are the epis in Met?
Sep
19
accepted Topology making a family of functions optimal
Sep
17
answered Prove that for all integers a and b, a + b and a − b are either both odd or both even.