404 reputation
211
bio website
location
age
visits member for 3 years, 6 months
seen 4 hours ago

4h
comment Why do we still do symbolic math?
One could go so far and say that there is no such thing as a "numerical solution", only a numerical approximation.
Jul
24
accepted Why are duals in a rigid/autonomous category unique up to unique isomorphism?
Jul
23
answered Why are duals in a rigid/autonomous category unique up to unique isomorphism?
Jul
22
awarded  Yearling
Jul
22
awarded  Excavator
Jul
22
comment Why are duals in a rigid/autonomous category unique up to unique isomorphism?
@ZhenLin, great, thanks! Do you want to make this into an answer? (If you don't have the time I can do that as well)
Jul
22
comment Why are duals in a rigid/autonomous category unique up to unique isomorphism?
Oh, maybe I understand what you're getting at: While $Y$ and $Y$ are the same objects, $(Y,\epsilon,\eta)$ and $(Y,e,h)$ are different duals. So the whole dual data is unique, but not the underlying object?
Jul
22
comment Why are duals in a rigid/autonomous category unique up to unique isomorphism?
@ZhenLin, what does "compatible with all that data" mean, other than "define the new $\epsilon$ and $\eta$ by composition" and "the new dual satisfies the snake identities"? As I see it now, my $(Y, e, h)$ is another dual and $f$ is a unique iso compatible with the data.
Jul
22
revised A coherence question in rigid monoidal categories
Clarified spelling and grammar
Jul
22
comment Why are duals in a rigid/autonomous category unique up to unique isomorphism?
@ZhenLin, yes, that's why I prove the snake identities for the new dualities. Or is there any more structure that the new duality must be compatible with?
Jul
22
comment A coherence question in rigid monoidal categories
Are you implicitly assuming a particular isomorphism $\hat{\hat Y} \cong Y$? So maybe you're actually considering a pivotal category? It's nonstandard to define a rigid category as a monoidal symmetrical closed category with duals. Usually, only the monoidal structure is needed to define duals.
Jul
22
suggested suggested edit on A coherence question in rigid monoidal categories
Jul
22
asked Why are duals in a rigid/autonomous category unique up to unique isomorphism?
Jul
8
answered $[0, 1)$ and $S^1$ not homeomorphic?
Jul
2
awarded  Curious
Apr
21
comment Underlying functor of tensor product in a closed and symmetric monoidal category.
I wonder how many people have actually read this question completely. Can you shorten it somehow? (If necessary, restrict the audience to more experienced people by shortening)
Apr
21
answered Is there a category of categories?
Apr
18
answered Arrow between endofunctors over a symmetric monoidal category.
Apr
18
awarded  Citizen Patrol
Mar
23
comment Are there homomorphisms of group algebras that don't come from a group homomorphism?
Ah, so already $\mathbb{C}[\mathbb{Z}_4] \cong \mathbb{C}[\mathbb{Z_2} \times \mathbb{Z}_2]$? I wonder whether these kind of isomorphisms are also equivalences of representation categories.