362 reputation
115
bio website
location
age
visits member for 3 years, 3 months
seen Mar 8 at 20:27

I'm a chemist researcher, working now for a french company making high-performance materials.


Sep
24
awarded  Autobiographer
Jul
2
awarded  Curious
Mar
6
comment Is there a categorical construction of the general linear group?
What is $\textrm{Mat}_n (A)$ in your last paragraph ?
Mar
1
comment A particular subgroup of the general linear group
In dimension 1, the subgroup in question is simply the multiplicative group of strictly positive reals, which is the image of the additive group of reals by an exponential homomorphism. Here, matrices of the form $\begin{bmatrix} 1 & a \\ 0 & 1+a\end{bmatrix}$ are exponentials of matrices of the form $\begin{bmatrix} 0 & b \\ 0 & b\end{bmatrix}$, and diagonal or antidiagonal matrices can also be expressed as exponentials. So I'm thinking, maybe there is a relation between matrices having property P and matrix exponentials ?
Feb
17
comment Is there a categorical construction of the general linear group?
@MartinBrandenburg: could you elaborate on this notion of separator ?
Feb
15
asked Is there a categorical construction of the general linear group?
Sep
16
asked (Symmetric) group acting on a graph
Aug
9
accepted What is a Lawvere-Tierney topology?
Aug
1
asked What is a Lawvere-Tierney topology?
Jul
4
awarded  Yearling
Jul
2
comment Automorphism group of dyadic rationals
Thank you very much !
Jul
2
asked Automorphism group of dyadic rationals
Jun
28
comment Thompson's group F and monoidal categories
Ok, I edited the question with a link...
Jun
28
revised Thompson's group F and monoidal categories
added 121 characters in body
Jun
27
comment Thompson's group F and monoidal categories
Thanks for the advice, I thus posted that question on MO too...
Jun
27
asked Thompson's group F and monoidal categories
Jun
25
accepted Tensor product of sets
Jun
21
comment Tensor product of sets
@QiaochuYuan: I thought the tensor product would be carried on by the functor $F$, ie $F(A \otimes B) = F(A) \otimes F(B)$.
Jun
20
comment Tensor product of sets
@Henning : I've edited my question accordingly.
Jun
20
revised Tensor product of sets
added 163 characters in body; edited tags