671 reputation
410
bio website
location
age
visits member for 4 years, 7 months
seen Sep 23 at 9:12

Oct
17
awarded  Necromancer
Jul
23
comment Is the theory of categories decidable?
On the other hand, there is no reason for the equational fragment of the theory of categories without automorphisms be undecidable, and it is actually decidable, see "mishap.sdf.org/…
Jul
2
awarded  Curious
May
29
asked relative cohomology $H(X,D)$ of a pair in Weil cohomology theory
Mar
24
comment algebraic varieties whose fundamental group is subgroup separable wrt subvariety subgroups
Thanks, interesting! But I am more interested in positive examples. Are there any large classes of known examples that do have the property (that my theorem applies to), except for varieties with nilpotent fundamental groups?
Mar
23
asked algebraic varieties whose fundamental group is subgroup separable wrt subvariety subgroups
Sep
28
answered eBook readers for mathematics
Sep
15
awarded  Tumbleweed
Aug
27
asked irreducible analytic decomposition of sets invariant under a group action
Jul
31
accepted algebro-geometric properties of morphisms between algebraic groups
Jul
31
comment Small model categories?
there are preorders with a non-trivial model structure
Jul
31
comment “non-Bousfield” localisations of model categories
thanks for your responses. I just saw them now, (and do not get email notifications), and not sure if you'll ever see my response...
Jul
31
comment “non-Bousfield” localisations of model categories
Quite the opposite, I want cofibrations to change. The point is, there is a sequence of related model category structures (with more and more cofibrations), and I wanted to see whether it is a sequence of localisations
Jul
23
accepted complex algebraic morphisms as topological maps: every morphism is a topological fibration on a Zariski dense open subset?
Jul
22
revised topology generated by irreducible componets of $\Gamma$-invariant closed sets
edited title
Jul
22
revised topology generated by irreducible componets of $\Gamma$-invariant closed sets
edited tags
Jul
22
asked topology generated by irreducible componets of $\Gamma$-invariant closed sets
Jul
20
comment Structure of fundamental groups arising from smooth projective morphisms
relevant facts(references) are collected at pages 15-17 of arxiv.org/abs/0905.1377 ; there should be an answer to your question as well. the goal there was to prove that the universal analytic cover of an projective variety has a Zariski-like topology where projections are closed.
Jul
18
accepted ultrafilter characterisation of huge cardinals
Jul
18
comment ultrafilter characterisation of huge cardinals
Thanks! And what about $\beta$-completeness? That is, $D''_\beta=\{X \in P_{\leq \beta}(\lambda): \forall S\subseteq X(|S|<\beta\implies\exists y\in X(\cup S\subseteq y))$, for some $\beta\leq\kappa$ ?