Reputation
1,475
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
6 19
Newest
 Custodian
Impact
~69k people reached

Feb
9
accepted Prove a categorical statement
Feb
9
comment Direct products in subcategories
In math.stackexchange.com/questions/669508/… I ask how to prove it
Feb
9
asked Prove a categorical statement
Feb
6
comment Bourbaki on the fact that continuous function on a compact is uniformly continuous
@HagenvonEitzen: See above for an exact copy of the Bourbaki's theorem. Compactness of $X'$ is not required
Feb
5
comment Bourbaki on the fact that continuous function on a compact is uniformly continuous
@HagenvonEitzen: I don't remember that proof. It seems I studied it before, but forgot details.
Feb
5
asked Bourbaki on the fact that continuous function on a compact is uniformly continuous
Jan
19
revised Connectedness in proximity spaces
edited body
Jan
18
revised Connectedness in proximity spaces
edited body
Jan
18
revised Connectedness in proximity spaces
edited body
Jan
18
asked Connectedness in proximity spaces
Jan
4
comment Help to understand a proof (about filters)
OK, now I've understood everything. The proof is now in the preprint of my book, with proper thanks to Niels Diepeveen and Karl Kronenfeld.
Jan
4
comment Help to understand a proof (about filters)
@KarlKronenfeld: See also my "I am lost." comment. I don't understand something.
Jan
4
comment Help to understand a proof (about filters)
Summarizing: So now there are two things I don't understand: 1. How $\bigcap K$ not being the cofinite filter implies $\nexists \mathcal{G} \in K : A \in \mathcal{G}$ for every infinite set $A$. 2. Why each infinite $A$ occurs in at least two elements of $K$?
Jan
4
comment Help to understand a proof (about filters)
@KarlKronenfeld: I am lost. Don't we suppose that $\bigcap K$ is not the cofinite filter? But $A'\in G$ would follow from $\bigcap K$ being a cofinite filter.
Jan
3
comment Help to understand a proof (about filters)
I also do not understand the overall proof: groups.google.com/d/msg/sci.math/NMTPqI8h13I/2U-qetLK_MgJ - pleas help.
Jan
3
comment Help to understand a proof (about filters)
@NielsDiepeveen: Why $A'\in G$ for some $G\in K$?
Jan
2
comment Help to understand a proof (about filters)
But how to prove that $\bigcap K$ being cofinite implies for every infinite $A$ there exists $G\in K$ with $A\in G$? If the whole proof of Niels Diepeveen correct?
Jan
2
revised Help to understand a proof (about filters)
$F$ is the cofinite filter, not an arbitrary free filter, I copied it wrong
Jan
2
asked Help to understand a proof (about filters)
Dec
28
accepted Both atoms and co-atoms in a lattice