8 citations · 15 across the 4 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2024★ 1 cited
Straightening for lax transformations and adjunctions of -categories
Fernando Abellán, Andrea Gagna, Rune Haugseng
We prove an unstraightening result for lax transformations between functors from an arbitrary -category to that of -categories. We apply this to study parti…
math.CT2020
On a notion of oplax 3-functor
Andrea Gagna
We introduce a notion of normalised oplax -functor suitable for the elementary homotopy theory of strict -categories, following the combinatorics of orientals. We show that a…