Pages that link to "Item:Q1588078"
From MaRDI portal
The following pages link to An equational variant of Lawvere's natural numbers object (Q1588078):
Displaying 5 items.
- A presentation of the initial lift-algebra (Q678845) (← links)
- A note on natural numbers objects in monoidal categories (Q749645) (← links)
- Monoidal categories with natural numbers object (Q920197) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Cartesian categories with natural numbers object (Q1822604) (← links)