Work

Modular models of monoids with operations by lifting functors along fibrations

Year: 2026

Type: article

Abstract: Inspired by Plotkin and Power's algebraic treatment of computational effects and the principle of notions of computations as monoids, we propose a categorical framework for equational theories and models of monoids equipped with operations. This framework generalises Plotkin and Power's algebraic treatment of effectful operations taking or returning values as input or output to operations that may take or return computations as input or output. Additionally, to give semantic models of computational effects in a modular way, we introduce a formal theory of modular constructions of algebraic structures based on the framework of lifting functors along fibrations.

Source: Journal of Functional Programming

DOI: 10.46298/jfp.17958

Authors: Zhixuan Yang, Nicolas Wu

Institutions: University of Exeter, Imperial College London

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W7166447294

FWCI:

Cites:

Cited by:

Related to: