@article{slattery-2026-hofmann, title={Hofmann-Streicher lifting of fibred categories}, volume={22}, number={2}, ISSN={1860-5974}, url={http://dx.doi.org/10.46298/lmcs-22(2:30)2026}, DOI={10.46298/lmcs-22(2:30)2026}, journal={Logical Methods in Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={Slattery, Andrew and Sterling, Jonathan}, year={2026}, month=June }