“…This means that, unlike Cisinski, Gambino and Sattler, we do not rely on the small object argument to build our factorisations. (Other differences are that we work in a non-algebraic setting, as in part 1, but not part 2 of Gambino and Sattler (2017), and we work mostly externally with toposes, not inside a type theory as in Orton and Pitts (2016); related to this is that for us being a fibration, for instance, is a property of morphism, not additional structure. )…”