13,823 reputation
142103
bio website sbseminar.wordpress.com
location Bloomington, Indiana
age 34
visits member for 5 years, 6 months
seen 6 hours ago
Assistant Professor at Indiana University, working on tensor categories and their relationships to operator algebras and topology.

2d
awarded  Popular Question
Mar
15
awarded  Good Answer
Feb
22
awarded  Good Answer
Feb
17
comment How to proceed with a type-theoretic proof that $\Sigma \mathbb{S}^1 \simeq \mathbb{S}^2$?
I'm a bit confused about what your definition of $\Sigma S^1$ is. I would have expected it to be generated by one point, one 1-loop, and two 2-paths trivializing the 1-loop. But you seem to have two points. Could you clarify your notation a little?
Feb
15
comment In a closed monoidal abelian category, are the compact projectives a monoidal subcategory?
If your tensor category is finite, then compact projective is the same as projective. In that setting, tensoing a projective by anything is projective, see Prop 2.1 of arxiv.org/abs/math/0301027
Feb
8
comment Has a subfactor with lattice $B_3$, a singly generated identity biprojection?
In the group/subgroup case what group theoretical statement does this correspond to?
Jan
18
awarded  Good Question
Jan
13
answered Relationship between Hochschild cohomology and Drinfeld centers
Jan
8
accepted Is there a “simplification” functor in algebraic topology?
Jan
8
awarded  Nice Question
Jan
8
comment Is there a “simplification” functor in algebraic topology?
@QiaochuYuan: Ah, ok, I'd just assumed that $B(G/[G,G])$ was a simplification of BG, but I see what you're saying (the perfect space Y is just the Eilenberg-MacLane space corresponding to the nontrivial cohomology). Probably $B(A_5)$ is already a problem.
Jan
8
revised Is there a “simplification” functor in algebraic topology?
Connected
Jan
8
comment Is there a “simplification” functor in algebraic topology?
Yes, in the homotopy category.
Jan
8
asked Is there a “simplification” functor in algebraic topology?
Dec
24
revised Why does a tetracategory with one object, one 1-morphism and one 2-morphism give a symmetric monoidal category
added 59 characters in body
Dec
24
revised Why does a tetracategory with one object, one 1-morphism and one 2-morphism give a symmetric monoidal category
edited body
Dec
24
answered Why does a tetracategory with one object, one 1-morphism and one 2-morphism give a symmetric monoidal category
Dec
8
answered Generalizations of the Four-Color theorem
Nov
29
comment Perron-Frobenius theory for reducible matrices
Have you looked at the beginning of Goodman, de la Harpe, Jones? I forget the exact details, but I recall that they need to do a little more generality than a lot of sources due to the bipartite nature of principal graphs.
Nov
10
comment In Algebraic Compact Quantum Groups, is an Irreducible Corepresentation equivalent to its Conjugate?
No problem. For that the easiest example is the trivial corep which is always selfdual.