E-LIB Suche - Ergebnisse für: Reutter, David

1

Computads for weak ω-categories as an inductive type:

Dean, Christopher J. ; Finster, Eric ; Markakis, Ioannis..
Advances in Mathematics. 450 (2024) - p. 109739 , 2024

Link: https://doi.org/10.1016/..

2

Semisimple four‐dimensional topological field theories cann..:

Reutter, David
Journal of Topology. 16 (2023) 2 - p. 542-566 , 2023

Link: https://doi.org/10.1112/..

3

Uniqueness of Unitary Structure for Unitarizable Fusion Cat..:

Reutter, David
Communications in Mathematical Physics. 397 (2022) 1 - p. 37-52 , 2022

Link: https://doi.org/10.1007/..

4

A Type Theory for Strictly Unital ∞-Categories:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Finster, Eric ; Reutter, David ; Vicary, Jamie. - p. 1-12 , 2022

Link: https://dl.acm.org/doi/1..

5

A 3‐categorical perspective on G$G$‐crossed braided categor..:

Jones, Corey ; Penneys, David ; Reutter, David
Journal of the London Mathematical Society. 107 (2022) 1 - p. 333-406 , 2022

Link: https://doi.org/10.1112/..

6

Zigzag normalisation for associative n-categories:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Heidemann, Lukas ; Reutter, David ; Vicary, Jamie - p. 1-13 , 2022

Link: https://dl.acm.org/doi/1..

7

High-level methods for homotopy construction in associative..:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,

Reutter, David ; Vicary, Jamie - p. 1-13 , 2019

Link: https://dl.acm.org/doi/1..

8

Shaded tangles for the design and verification of quantum c..:

Reutter, David J. ; Vicary, Jamie
Proceedings: Mathematical, Physical and Engineering Sciences. 475 (2019) 2224 - p. 1-26 , 2019

Link: https://www.jstor.org/st..

9

The Morita Theory of Quantum Graph Isomorphisms:

Musto, Benjamin ; Reutter, David ; Verdon, Dominic
Communications in Mathematical Physics. 365 (2018) 2 - p. 797-845 , 2018

Link: https://doi.org/10.1007/..

10

A braided $(\infty,2)$-category of Soergel bimodules:

Liu, Yu Leon ; Mazel-Gee, Aaron ; Reutter, David..
http://arxiv.org/abs/2401.02956. , 2024

Link: http://arxiv.org/abs/240..

11

Zigzag normalisation for associative $n$-categories:

Heidemann, Lukas ; Reutter, David ; Vicary, Jamie
http://arxiv.org/abs/2205.08952. , 2022

Link: http://arxiv.org/abs/220..

12

Computads for weak $\omega$-categories as an inductive type:

Dean, Christopher J ; Finster, Eric ; Markakis, Ioannis..
http://arxiv.org/abs/2208.08719. , 2022

Link: http://arxiv.org/abs/220..

13

Semisimple Field Theories Detect Stable Diffeomorphism:

Reutter, David ; Schommer-Pries, Christopher
http://arxiv.org/abs/2206.10031. , 2022

Link: http://arxiv.org/abs/220..

14

Minimal nondegenerate extensions:

Johnson-Freyd, Theo ; Reutter, David
http://arxiv.org/abs/2105.15167. , 2021

Link: http://arxiv.org/abs/210..

15

Semisimple 4-dimensional topological field theories cannot ..:

Reutter, David
http://arxiv.org/abs/2001.02288. , 2020

Link: http://arxiv.org/abs/200..