M. Rovelli

activity

20242026

collaborators

Showing math.CTShow all

3 papers · 1 filter

math.CT2025

Zigzags and free adjunctions

Lorenzo Riva, Martina Rovelli

We construct an explicit combinatorial model of the functor which adds right adjoints to the morphisms of an $\infty$ -category, and we speculate on possible extensions to higher di…

math.CT2025

The Morita $(\infty, 2)$ -category of a monoidal category as a $2$ -complicial set

Arghan Dutta, Stefano Luneia, Martina Rovelli +1

We provide an explicit and elementary construction of the Morita $(\infty, 2)$ -category of a monoidal category which satisfies minimal conditions. We construct it as a $3$ -coskeleta…

math.CT2024

A model for the coherent walking $I ¨ $ -equivalence

We prove that a certain $I ¨ $ -category, which was constructed in previous work by the third and fourth author, is a model for the fully coherent walking $I ¨ $ -equivalence. Further, a…

Zigzags and free adjunctions

The Morita (∞,2)-category of a monoidal category as a 2-complicial set

A model for the coherent walking I¨-equivalence

The Morita $(\infty, 2)$ -category of a monoidal category as a $2$ -complicial set

A model for the coherent walking $I ¨ $ -equivalence