From structures and functors to modules and units

DOI10.1145/1159803.1159815MaRDI QIDQ5501460zbMATH OpenOpenAlexFDO

Authors Scott Owens, Matthew Flatt

Publication date 3 August 2015

Published in Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1159803.1159815

zbMATH Keywords

componentfunctorunitstructuremodule

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Modules as exact functors
• Modules over operads and functors
• scientific article; zbMATH DE number 800106
• On the structure of *-modules
• Module classifying functors
• scientific article; zbMATH DE number 1105186
• On the unitarizability of derived functor modules
• On the Structure of Modular Categories
• The Structure of Algebraic Moduls
• Module and comodule categories -- a survey

Cited in

(1)

• Functorial approach structures

This page was built for publication: From structures and functors to modules and units

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5501460)