The formalism of Segal sections
arXiv:1811.09601
Abstract
Given a family of model categories , we associate to it a homotopical category of derived, or Segal, sections that models the higher-categorical sections of the localisation . The derived sections provide an alternative, strict model for various higher algebra objects appearing in the work of Lurie. We prove a few results concerning the properties of the homotopical category , and as an example, study its behaviour with respect to the base-change along a select class of functors.
59 pages ijmart, diagrams package, formatting fixes and a correction to a mistake in the examples