MoL-2024-05: Ye, Lingyuan (2024) Algebraic Monoidal Model Categories and Path Category Structures for Effective Kan Fibrations. [Report]