Every Rig with a One-Variable Fixed Point Presentation is the Burnside Rig of a Prextensive Category.

Published in: Appl. Categorical Struct. (2017)

Keyphrases

fixed point
dynamical systems
floating point
constraint databases
sufficient conditions
belief propagation
bargaining solution
fixed point theorem
relational databases
variational inequalities
policy iteration
free energy