There is a newer version of the record available.

Published March 30, 2026 | Version v1
Working paper Open

Modular Models of Monoids with Operations by Lifting Functors along Fibrations

Authors/Creators

  • 1. ROR icon University of Exeter
  • 2. ROR icon Imperial College London

Description

This is a working paper under review for the Journal of Functional Programming.

Files

mmmjfp.pdf

Files (897.6 kB)

Name Size Download all
md5:2035764453d8197702a3dc2a93a4ddda
897.6 kB Preview Download