Manuel Baerenz has contributed to 15 nLab pages.
Globular | 12:39:47, August 16 2018 |
opetopic type theory | 09:43:55, August 14 2018 |
Globular | 14:04:51, August 13 2018 |
dependent product | 09:52:20, July 18 2018 |
G-crossed braided fusion category | 11:08:32, January 26 2018 |
G-crossed braided fusion category | 11:40:08, January 19 2018 |
crossed module | 15:12:19, December 13 2017 |
strict 2-group | 11:07:35, December 13 2017 |
equivariantization | 15:16:12, September 05 2017 |
G-crossed braided fusion category | 15:05:46, September 05 2017 |
equivariantization | 15:03:59, September 01 2017 |
equivariantization | 13:19:35, September 01 2017 |
equivariantization | 14:12:10, August 29 2017 |
module category | 13:57:39, August 29 2017 |
graded fusion category | 13:22:01, August 29 2017 |
supergroup | 13:13:02, August 29 2017 |
fusion category | 13:11:19, August 29 2017 |
directed topological space | 14:24:31, August 24 2017 |
limit | 10:32:37, August 31 2014 |
categorical wreath product | 10:32:30, August 31 2014 |
Manuel Bärenz | 10:32:29, August 31 2014 |
strict 2-group | 10:32:29, August 31 2014 |