Homotopy invariants in small categories

arXiv2206.00651MaRDI QIDQ6400846FDOQ6400846

Authors: I. Carcacía-Campos, Enrique Macias-Virgós, David Mosquera-Lois 

Publication date: 1 June 2022

Abstract: Tanaka introduced a notion of Lusternik Schnirelmann category, denoted $mathrmccat,mathcalC$, of a small category $mathcalC$. Among other properties, he proved an analog of Varadarajan's theorem for fibrations, relating the LS-categories of the total space, the base and the fiber. In this paper we recall the notion of homotopic distance $mathrmD(F,G)$ between two functors $F,GcolonmathcalComathcalD$, later introduced by us, which has $$ as a particular case. We consider another particular case, the distance $mathrmD(p_1,p_2)$ between the two projections $p_1,p_{2}colonmathcalCimesmathcalComathcalC$, which we call the categorical complexity of the small category $mathcalC$. Moreover, we define the higher categorical complexity of a small category and we show that it can be characterized as a higher distance. We prove the main properties of those invariants. As a final result we prove a Varadarajan's theorem for the homotopic distance for Grothendieck bi-fibrations between small categories.

This page was built for publication: Homotopy invariants in small categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6400846)