@inproceedings{inproceedings, title  = {{Forward and backward steps in a fibration}},

 publisher = {{Schloss Dagstuhl – Leibniz-Zentrum für Informatik}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/213739 }},

 year = {{2023}},

 month = {{9}},

 author = {{Turkenburg R and Beohar H and Kupke C and Rot J}},

 doi = {{10.4230/LIPIcs.CALCO.2023.6}},

 volume = {{270}},

 journal = {{10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)}},

 pages = {{6:1-6:18}},

 note = {{Accessed on 2025/11/20}}}