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.
