2-classifiers via dense generators and Hofmann-Streicher universe in stacks
Published in Accepted in Canadian Journal of Mathematics, 2024
Download here
Published in Accepted in Canadian Journal of Mathematics, 2024
Download here
Published in Theory and Applications of Categories, 2024
Download here
Published in Theory and Applications of Categories, 2024
Joint work with Elena Caviglia.
Download here
Published in Theory and Applications of Categories, 2024
Joint work with Emmenegger, Rosolini and Streicher.
Download here
Published in Revision submitted to Journal of Pure and Applied Algebra, 2023
Download here
Published in Master Degree thesis, 2020
Download here