8,653 reputation
12043
bio website personal.us.es/fmuro
location Seville, Spain
age
visits member for 3 years, 10 months
seen 4 hours ago

I'm a mathematician interested in algebraic topology, category theory, homological algebra, and K-theory.


5h
reviewed Approve suggested edit on Solutions for n such that the path number to the n-th node is also n in a complete, rooted, ordered k-ary tree
5h
reviewed Approve suggested edit on functions of one complex variable: geometric theory
9h
reviewed Reject suggested edit on complex-analysis tag wiki excerpt
1d
comment $A_\infty$ structure on sum of twists of structure sheaf
So what is the product you define on $C$? If it doesn't give you the piece of A-infinity algebra structure you want to have... is it even associative?
1d
comment $A_\infty$ structure on sum of twists of structure sheaf
If you set $X^n=C^{n-1}$ the degrees fit i.e. $X$ is a graded algebra, so you just have to check the Leibniz rule.
Nov
19
reviewed Approve suggested edit on Correlated Brownian motion and Poisson process
Nov
16
awarded  Nice Answer
Nov
16
awarded  Nice Question
Nov
13
comment What is the right categorical framework for diagonal approximations, cup and cap products and identities between them?
ncatlab.org/nlab/show/noncommutative%20differential%20calculus
Nov
13
comment What is the right categorical framework for diagonal approximations, cup and cap products and identities between them?
@DmitriScheglov that is extra structure, and not extra properties. Maybe you should reformulate your whole question. BTW, Tsygan-Tamarkin's notion of 'calculus' may be interesting for you.
Nov
13
comment What is the right categorical framework for diagonal approximations, cup and cap products and identities between them?
You're moving in a less general framework so the should be no more conditions.
Nov
12
reviewed Approve suggested edit on Gerbes and Stacks
Nov
11
reviewed Approve suggested edit on Another type of derivative, and the associated primitive
Nov
7
revised Proper Model Category
edited tags
Nov
5
comment Kan extensions and special cases
@user110332 you're talking about the adjoints of $f^*$. If any of them exists, it's unique, that's well known. Isn't this your first question?
Nov
5
comment Kan extensions and special cases
Adjoints are always unique, right?
Nov
3
comment Image, kernel, quotient and first isomorphism theorem, in a category of monoid objects
@SébastienPalcoux well, I don't know, I think I'm influenced by the usual meaning of the work bimodule.
Nov
2
comment Image, kernel, quotient and first isomorphism theorem, in a category of monoid objects
Excellent answer.
Nov
2
comment Image, kernel, quotient and first isomorphism theorem, in a category of monoid objects
@SébastienPalcoux that of rings, which are monoids in abelian groups. Yours too.
Nov
2
comment Image, kernel, quotient and first isomorphism theorem, in a category of monoid objects
@QiaochuYuan neither Sébastien nor I.