Cartesian multicategory fixpoint References. Recursion from Cyclic Sharing (Hasegawa, 1997) Complete Axioms for Categorical Fixed-Point Operators (Simpson, Plotkin, 2000)