1,164 reputation
1615
bio website mathnet.ru/php/…
location
age
visits member for 3 years, 3 months
seen 1 hour ago

Apr
13
comment “Axiom of global choice”
I am afraid, this is too technical for me. Are you saying that it is possible to extend the Gödel-Bernays theory in such a way that the axiom of choice becomes more powerful, it can be applied to classes?
Apr
13
comment “Axiom of global choice”
Dimitri, is it possible to translate this into the language of the Gödel-Bernays set theory?
Apr
11
comment Algebraic description of compact smooth manifolds?
Excuse me, is it possible to reformulate the conclusions of this theory for the question that Jason DeVito asked? Which properties distinguish $C^\infty(M)$ among other $\Bbb R$-algebras?
Apr
8
comment “Axiom of global choice”
Dimitri, I did not undertand you. Is this written anywhere? If not, can you contact me to explain what you write? (Or explain this here.)
Mar
31
revised Naive question about the representation theory of algebraic groups and hopf algebras
added 3 characters in body
Mar
31
revised Naive question about the representation theory of algebraic groups and hopf algebras
added 106 characters in body; added 61 characters in body
Mar
31
revised Naive question about the representation theory of algebraic groups and hopf algebras
added 72 characters in body
Mar
31
answered Naive question about the representation theory of algebraic groups and hopf algebras
Jan
21
comment Is the Mendeleev table explained in quantum mechanics?
Uwe, thank you for the support.
Nov
2
awarded  Notable Question
Nov
2
accepted Monoidal structure on a category with products and with terminal object
Nov
2
comment Monoidal structure on a category with products and with terminal object
Generalized elements? What's this? Anyway, I accept Sergio's answer.
Nov
2
comment Monoidal structure on a category with products and with terminal object
Thank you, I'll try to find this book.
Nov
2
comment Monoidal structure on a category with products and with terminal object
Interesting... OK, I need a time to verify the details.
Nov
2
comment Monoidal structure on a category with products and with terminal object
David, yes, I agree that the operation $(X,Y)\mapsto X\sqcap Y$ must be a mapping. Suppose this is so, then you say that the Yoneda lemma allows to simplify the proof? Can you recommend a text where this trick is used (not necessarily for proving what I am asking about, but just for something...), I would like to look how this trick works.
Nov
1
comment Monoidal structure on a category with products and with terminal object
Sergio, I don't understand this trick. Is it possible, for example, to prove the diagram of associativity (the pentagon) in this way?
Nov
1
comment Monoidal structure on a category with products and with terminal object
I didn't understand, is this proved there, or just formulated?
Nov
1
comment Monoidal structure on a category with products and with terminal object
Eric, thank you, that's interesting. So this means that the accurate proof exists... It would be nice to look at it...
Nov
1
asked Monoidal structure on a category with products and with terminal object
Nov
1
comment the dual space of C(X) (X is noncompact metric space)
I think, you should specify what do you mean by $C(X)$, when $X$ is non-compact. For example, in the case of $X={\mathbb R}$ you can mean by by $C(\mathbb R)$ the space of all continuous functions on $\mathbb R$ endowed with the compact-open topology, and after that the dual space $C(\mathbb R)^*$ becomes exactly the space of all measures with compact support.