arXiv subjects

Roman Kositsyn

Publications and source records attributed to Roman Kositsyn.

3 recordsLinked to original sources

arXiv2025

Deformation Theory for $(\infty,n)$-categories

For an $(\infty,n)$-category $\mathscr E$ we define an $(\infty,1)$ category $\mathrm{TwAr}(\mathscr E)$ and provide an isomorphism between the stabilization of the overcategory of $\mathscr E$ in $\mathrm{Cat}_{(\infty,n)}$ and the $\infty$-category of spectrum-valued functors on $\mathrm{TwAr}(\mathscr E)$. We use this to develop the deformation theory of $(\infty,n)$-categories and apply it to given an $\infty$-categorical characterization of lax-idempotent monads.

math.CT↗

arXiv2021

Factorization systems in $\infty$-categories

We extend the notion of a factorization system in a category to the realm of $\infty$-categories. To this end, we provide a description of the category of $\infty$-categories with factorization systems as the category of presheaves of spaces on a certain category that satisfy a version of the Segal condition. Additionally, we study the notion of distributive laws between monads and, more generally, lax functors in the context of categories with factorization systems. In particular, we also characterize categories with factorization systems as distributive laws in the bicategory of spans.

math.CT↗

arXiv2021

Completeness for monads and theories

We generalize the correspondence between theories and monads with arities of arXiv:1101.3064 to $\infty$-categories. Additionally, we introduce the notion of complete theories that is unique to the $\infty$-categorical case and provide a completion construction for a certain class of theories. Along the way we also develop the necessary technical material related to the flagged bicategory of correspondences and lax functor in the $\infty$-categorical context.

math.CT↗