Reputation
402
Top tag
Next privilege 500 Rep.
Access review queues
Badges
2 16
Newest
 Yearling
Impact
~8k people reached

  • 0 posts edited
  • 0 helpful flags
  • 19 votes cast
Jan
29
awarded  Yearling
Jan
3
awarded  Popular Question
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)$.