8,436 reputation
12039
bio website personal.us.es/fmuro
location Seville, Spain
age
visits member for 3 years, 9 months
seen 54 mins ago

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.