Timeline for About equalizer of Boolean algebras
Current License: CC BY-SA 3.0
4 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Feb 5, 2016 at 9:25 | comment | added | Eric Wofsey | No, they aren't the same in general. For instance, let $I$ be any connected compact Hausdorff space, and let $\pi:S\to I$ be any continuous surjection from a Stone space to $I$. Taking the kernel pair of $\pi$ gives a pair of maps $\varphi^*,\psi^*:T\to S$ from some Stone space $T$ whose coequalizer is $\pi$. Thus the quotient by the equivalence relation $\sim'$ in this case is $I$. But the quotient by $\sim$ will be just a point, since $I$ is connected. | |
Feb 5, 2016 at 9:11 | comment | added | Junekey Jeon | Thank you very much. But unfortunately, I think I misunderstood myself about the real problem.. The question I should ask was the equivalence of $\sim$ and $\sim'$, instead of the original question I wrote. Do you have any idea about that? Again, thanks. | |
Feb 5, 2016 at 9:07 | vote | accept | Junekey Jeon | ||
Feb 3, 2016 at 8:26 | history | answered | Eric Wofsey | CC BY-SA 3.0 |