644 reputation
516
bio website
location
age 23
visits member for 3 years, 2 months
seen Dec 13 at 23:26

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.
Sep
17
asked Topology making a family of functions optimal