User Manuel Bärenz

28 votes

Are dagger categories truly evil?

answered Dec 18, 2015 at 10:17

23 votes

A manifold is a homotopy type and _what_ extra structure?

answered Aug 22, 2017 at 15:06

18 votes

Which mathematical definitions should be formalised in Lean?

answered Sep 23, 2018 at 10:49

12 votes

Which mathematical definitions should be formalised in Lean?

answered Sep 22, 2018 at 9:47

11 votes

Accepted

Construction of invariants of 4-manifolds with the Kirby calculus

answered Feb 9, 2017 at 12:54

5 votes

What programming language should a professional mathematician know?

answered Aug 21, 2018 at 9:44

4 votes

Free open-access peer-reviewed math journals

answered Feb 20, 2019 at 13:54

4 votes

random category theory

answered Apr 30, 2015 at 17:25

3 votes

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

answered Jun 14, 2018 at 10:50

2 votes

Accepted

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

answered Jan 23, 2018 at 12:38

2 votes

4-dimensional TQFT with/without requiring spin structure

answered Feb 4, 2017 at 12:17

2 votes

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

answered Sep 7, 2015 at 16:15

2 votes

What is Yoneda's Lemma a generalization of?

answered Oct 27, 2015 at 19:17

2 votes

Accepted

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

answered May 23, 2014 at 16:11

1 vote

Accepted

Pivotal functors of that are substantially different from finite group homomorphisms

answered Sep 12, 2014 at 17:57

1 vote

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

answered May 4, 2015 at 16:37

1 vote

Do all 3D TQFTs come from Reshetikhin-Turaev?

answered Nov 10, 2017 at 16:55

0 votes

Accepted

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

answered May 1, 2014 at 12:49

0 votes

Nerves of (braided or symmetric) monoidal categories

answered Dec 24, 2014 at 16:42

0 votes

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

answered Mar 1, 2015 at 20:59

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?

answered Sep 1, 2014 at 14:41

0 votes

Infinite dimensional 2-Hilbert spaces

answered Sep 12, 2014 at 17:33

-1 votes

Categories of finite objects

answered Aug 20, 2015 at 16:12

Stack Exchange Network

23 Answers

Are dagger categories truly evil?

A manifold is a homotopy type and _what_ extra structure?

Which mathematical definitions should be formalised in Lean?

Which mathematical definitions should be formalised in Lean?

Construction of invariants of 4-manifolds with the Kirby calculus

What programming language should a professional mathematician know?

Free open-access peer-reviewed math journals

random category theory

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

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

4-dimensional TQFT with/without requiring spin structure

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

What is Yoneda's Lemma a generalization of?

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

Pivotal functors of that are substantially different from finite group homomorphisms

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

Do all 3D TQFTs come from Reshetikhin-Turaev?

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

Nerves of (braided or symmetric) monoidal categories

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

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

Infinite dimensional 2-Hilbert spaces

Categories of finite objects