Pages that link to "Item:Q281151"
From MaRDI portal
The following pages link to Natural number objects in Dialectica categories (Q281151):
Displaying 5 items.
- Categorical characterizations of the natural numbers require primitive recursion (Q476119) (← links)
- Cartesian closed Dialectica categories (Q998318) (← links)
- Dinatural numbers (Q1295522) (← links)
- Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory (Q1961929) (← links)
- (Q3491548) (← links)