Pages that link to "Item:Q4279245"

The following pages link to Least fixpoints of endofunctors of cartesian closed categories (Q4279245):

Displaying 4 items.

• Relations in operational categories (Q678847) (← links)
• An exactification of the monoid of primitive recursive functions (Q817674) (← links)
• An equational variant of Lawvere's natural numbers object (Q1588078) (← links)
• Categorical fixed point calculus (Q5057473) (← links)