On order-complete universal algebra and enriched functorial semantics | Publicación