bio | website | personal.us.es/fmuro |
---|---|---|
location | Seville, Spain | |
age | ||
visits | member for | 3 years, 9 months |
seen | 54 mins ago | |
stats | profile views | 5,125 |
I'm a mathematician interested in algebraic topology, category theory, homological algebra, and K-theory.
Oct 16 |
comment |
Higher vector spaces
Not all categories in the image are monoidal, think of a noncommutative $A$. |
Oct 15 |
comment |
Cocomplete but not complete abelian category
This is an example from the book! |
Oct 14 |
reviewed | Approve suggested edit on Two Equal Series? |
Oct 12 |
reviewed | Approve suggested edit on Smallest area shape that covers all unit length curve |
Oct 10 |
comment |
Are there noncommutative extensions of $\alpha_p$ by $\mathbb{G}_m$?
In case this helps, by standard group cohomology, the non-abelian central extensions of two abelian groups $A$ and $B$ are classified by $\hom(\wedge^2A,B)$, where $\wedge^2A$ is the quotient of $A\otimes A$ by the diagonal elements $a\otimes a$, $a\in A$. All this is about discrete groups, not algebraic groups. |
Oct 10 |
comment |
Motion planning algorithm
Ah, that's good. Is that fibration preserved by taking mapping spaces out of $X\times X$ for any $X$? |
Oct 10 |
comment |
Motion planning algorithm
@JeffStrom what do you mean by $*\rightarrow X$? This is an unbased context, I think. And if $X$ were based, I can't see the relation with $ev$. |
Oct 10 |
comment |
Correct definition of a Gerstenhaber algebra in the DG setting
For (1) and (2), you have to use the usual relations and Koszul sign rule w.r.t. degrees shifted by $-1$. Def1 is definitely not correct, Def2 has chances to be correct, but I'm too lazy to do it. |
Oct 10 |
comment |
Is the extension of a quasi-functor again a quasi-functor?
What do you mean by fully faithful in this context? Homotopically or strictly? |
Oct 10 |
comment |
Motion planning algorithm
@JeffStrom So that the claimed fibrations are indeed fibrations, maybe? I don't know if all this works in a bigger generality, but you're the right person to answer this! |
Oct 10 |
awarded | Explainer |
Oct 10 |
comment |
Motion planning algorithm
Probably none.. |
Oct 10 |
comment |
Motion planning algorithm
Then you can say noting, but what non-CW-example would be interesting for you? |
Oct 10 |
reviewed | Approve suggested edit on origami-folding tag wiki excerpt |
Oct 10 |
answered | Motion planning algorithm |
Oct 10 |
revised |
Motion planning algorithm
added 2 characters in body |
Oct 9 |
comment |
Non invertibility of certain integral arising from group action
@AliTaghavi No, the complex general linear group has higher homotopy groups, so it cannot have a contractible covering space. |
Oct 8 |
comment |
Non invertibility of certain integral arising from group action
It's just an opinion, I'm not sure about anything. |
Oct 8 |
comment |
Non invertibility of certain integral arising from group action
The fact that the fundamental group shows up doesn't make the question an algebraic topology one. |
Oct 8 |
comment |
The Karoubi model structure on Cat
Actually, the generating trivial cofibration is clearly described as such in your link to Joyal's CatLab. |