@inproceedings{inproceedings, title = {{Forward and Backward Steps in a Fibration}}, url = {{}}, year = {{2023}}, month = {{9}}, author = {{Turkenburg R and Beohar H and Kupke C and Rot J}}, doi = {{10.4230/LIPIcs.CALCO.2023.6}}, isbn = {{9783959772877}}, volume = {{270}}, journal = {{Leibniz International Proceedings in Informatics, LIPIcs}}, note = {{Accessed on 2024/12/23}}}