Robuta

https://arxiv.org/abs/2504.09520 [2504.09520] Hofmann-Streicher lifting of fibred categories Abstract page for arXiv paper 2504.09520: Hofmann-Streicher lifting of fibred categories 2504 09520 hofmann streicher lifting