Constructions of Waldhausen categories via Grothendieck opfibrations | Synapse