@article{yang-2026-modular, title={Modular models of monoids with operations by lifting functors along fibrations}, volume={Volume 36}, ISSN={1469-7653}, url={http://dx.doi.org/10.46298/jfp.17958}, DOI={10.46298/jfp.17958}, journal={Journal of Functional Programming}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={Yang, Zhixuan and Wu, Nicolas}, year={2026}, month=June }