Manuel Bärenz's user avatar
Manuel Bärenz's user avatar
Manuel Bärenz's user avatar
Manuel Bärenz
  • Member for 13 years
  • Last seen more than 1 year ago
28 votes

Are dagger categories truly evil?

22 votes

A manifold is a homotopy type and _what_ extra structure?

18 votes

Which mathematical definitions should be formalised in Lean?

12 votes

Which mathematical definitions should be formalised in Lean?

11 votes
Accepted

Construction of invariants of 4-manifolds with the Kirby calculus

5 votes

What programming language should a professional mathematician know?

4 votes

Free open-access peer-reviewed math journals

4 votes

random category theory

3 votes

Is there a notion of "ribbon 2-category"?

2 votes
Accepted

Is there a "killing" lemma for G-crossed braided fusion categories?

2 votes

4-dimensional TQFT with/without requiring spin structure

2 votes

Is the category of spherical fusion categories regular? (i.e. is image factorisation possible?)

2 votes

What is Yoneda's Lemma a generalization of?

2 votes
Accepted

When is an Eilenberg-Moore category or Kleisli category braided monoidal? When semisimple?

1 vote
Accepted

Pivotal functors of that are substantially different from finite group homomorphisms

1 vote

180˚ vs 360˚ Twists in String Diagrams for Ribbon Categories

1 vote

Do all 3D TQFTs come from Reshetikhin-Turaev?

0 votes
Accepted

What is the universal property of being the maximal common subobject of two objects in a semisimple category?

0 votes

Nerves of (braided or symmetric) monoidal categories

0 votes

Theoretical physics: Why not just $\mathbb{R}^4$?

0 votes
Accepted

From the representation category of a Lie group and the representation on a homogeneous space, can we reconstruct the stabiliser subgroup reps?

0 votes

Infinite dimensional 2-Hilbert spaces

-1 votes

Categories of finite objects