bio  website  sbseminar.wordpress.com 

location  Bloomington, Indiana  
age  34  
visits  member for  5 years, 6 months 
seen  6 hours ago  
stats  profile views  6,478 
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 typetheoretic 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 1loop, and two 2paths trivializing the 1loop. 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 EilenbergMacLane 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 1morphism and one 2morphism give a symmetric monoidal category
added 59 characters in body 
Dec 24 
revised 
Why does a tetracategory with one object, one 1morphism and one 2morphism give a symmetric monoidal category
edited body 
Dec 24 
answered  Why does a tetracategory with one object, one 1morphism and one 2morphism give a symmetric monoidal category 
Dec 8 
answered  Generalizations of the FourColor theorem 
Nov 29 
comment 
PerronFrobenius 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. 