Lifting retracted diagrams with respect to projectable functors (Q2577772): Difference between revisions

Let \(F: {\mathcal A}\to {\mathcal B}\) be a functor or \(\mathcal B\)-valued diagram. The range of \(F\) is the class of all objects isomorphic to some \(F(A)\). The general categorical framework here provided permits to prove that if certain diagrams of \(\mathcal B\) can be lied with respect to \(F\), then the range of \(F\) is large. The main tools are functorial retractions, projectable functors, functors preserving directed \(\omega\)-colimits. As applications of the present method and new perspective are various results about (diagrams indexed by) lattices or in the nonstable \(K\)-theory of von Neumann regular rings.