bio | website | mathnet.ru/php/… |
---|---|---|
location | ||
age | ||
visits | member for | 3 years, 3 months |
seen | 1 hour ago | |
stats | profile views | 1,513 |
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. |