Comodule representations of second-order functionals

DOI10.1016/J.JLAMP.2025.101071MaRDI QIDQ6945552zbMATH OpenFDO

Authors Danel Ahman, Andrej Bauer

Publication date 8 August 2025

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JLAMP.2025.101071

zbMATH Keywords

comodule representationscomodulescomputational effectscontainersinstance reductionsmonadssecond-order functionalstree representations

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Cites work

• A representation theorem for second-order functionals
• Categorical foundations of gradient-based learning
• Combining effects: sum and tensor
• Constructivism in mathematics. An introduction. Volume II
• Containers: Constructing strictly positive types
• Continuity of Gödel's system T definable functionals via effectful forcing
• Continuous functions on final coalgebras
• Finiteness and rational sequences, constructively
• From comodels to coalgebras: state and arrays
• General Recursion via Coinductive Types
• Higher-order containers
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 5831413 (Why is no real title available?)
• scientific article; zbMATH DE number 3845811 (Why is no real title available?)
• scientific article; zbMATH DE number 3859117 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3928956 (Why is no real title available?)
• scientific article; zbMATH DE number 193320 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 1302061 (Why is no real title available?)
• scientific article; zbMATH DE number 1956503 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• scientific article; zbMATH DE number 1400097 (Why is no real title available?)
• scientific article; zbMATH DE number 7577584 (Why is no real title available?)
• Learners' languages
• Lifting theorems for Kleisli categories
• Linear usage of state
• Modules over monads and their algebras
• Monads as extension systems -- no iteration is necessary
• No-iteration pseudomonads
• Notions of computation and monads
• Polynomial functors and polynomial monads
• Representations of stream processors using nested fixed points
• Runners in Action
• Stateful runners of effectful computations
• Stream processors and comodels
• Tensors of comodels and models for operational semantics
• The calculus of constructions
• Update monads: cointerpreting directed containers
• Weihrauch degrees, omniscience principles and weak computability
• Wellfounded trees in categories
• Über Definitionsbereiche von Funktionen.

This page was built for publication: Comodule representations of second-order functionals

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