豐富結構語義附加與單子理論等價性在阿里提子範疇中的應用

本文旨在為豐富結構語義附加和單子理論等價性在阿里提子範疇中的應用建立一個通用的公理框架，並推廣先前在 Lawvere、Linton、Dubuc、Borceux-Day、Power、Nishizawa-Power、Lack-Rosick´y、Lucyshyn-Wright 和 Bourke-Garner 等人的研究中發展的單子理論等價性，並建立一個結構語義定理，將這些結果推廣到更廣泛的範疇理論環境中。