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