105 citations · 325 across the 15 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
math.CT2020★ 10 cited
A 3-categorical perspective on G-crossed braided categories
Corey Jones, David Penneys, David Reutter
A braided monoidal category may be considered a -category with one object and one -morphism. In this paper, we show that, more generally, -categories with one object and $…
cs.LO2020★ 7 cited
A Type Theory for Strictly Unital -Categories
Eric Finster, David Reutter, Alex Rice +1
We use type-theoretic techniques to present an algebraic theory of -categories with strict units. Starting with a known type-theoretic presentation of fully weak -c…
math.GT2020★ 4 cited
Semisimple 4-dimensional topological field theories cannot detect exotic smooth structure
David Reutter
We prove that semisimple 4-dimensional oriented topological field theories lead to stable diffeomorphism invariants and can therefore not distinguish homeomorphic closed oriented s…