bio | website | |
---|---|---|
location | ||
age | ||
visits | member for | 4 years, 7 months |
seen | Sep 23 at 9:12 | |
stats | profile views | 555 |
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$ ? |