Porst, Hans-EberhardFreund, KurtKurtFreund2020-03-092020-03-092007-08-29https://media.suub.uni-bremen.de/handle/elib/2408Construction of varietal and monadic completions. Characterization of abstract equivalence of (manysorted) (finitary) varieties via varietal and monadic completions.deinfo:eu-repo/semantics/openAccess(finitary) (manysorted) (quasi-)varietyvarietal functormonadic functorvarietal generatorlocally presentable categoryaccessible categoryLawvere theoryKan extension510Dissertationurn:nbn:de:gbv:46-diss000108098