memoizing functor

Last updated Mar 5, 2025

References.

• A Model of Stochastic Memoization and Name Generation in Probabilistic Programming, Categorical Semantics via Monads on Presheaf Categories (Kaddar, Staton, 2023)

Tags: strong functor, strong monad.