AlexPof
Reputation
382
Top tag
Next privilege 500 Rep.
Access review queues
 Sep24 awarded Autobiographer Jul2 awarded Curious Mar6 comment Is there a categorical construction of the general linear group? What is $\textrm{Mat}_n (A)$ in your last paragraph ? Mar1 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 ? Feb17 comment Is there a categorical construction of the general linear group? @MartinBrandenburg: could you elaborate on this notion of separator ? Feb15 asked Is there a categorical construction of the general linear group? Sep16 asked (Symmetric) group acting on a graph Aug9 accepted What is a Lawvere-Tierney topology? Aug1 asked What is a Lawvere-Tierney topology? Jul4 awarded Yearling Jul2 comment Automorphism group of dyadic rationals Thank you very much ! Jul2 asked Automorphism group of dyadic rationals Jun28 comment Thompson's group F and monoidal categories Ok, I edited the question with a link... Jun28 revised Thompson's group F and monoidal categories added 121 characters in body Jun27 comment Thompson's group F and monoidal categories Thanks for the advice, I thus posted that question on MO too... Jun27 asked Thompson's group F and monoidal categories Jun25 accepted Tensor product of sets Jun21 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)$. Jun20 comment Tensor product of sets @Henning : I've edited my question accordingly. Jun20 revised Tensor product of sets added 163 characters in body; edited tags