The following pages link to (Q3491548):
Displaying 7 items.
- A presentation of the initial lift-algebra (Q678845) (← links)
- On natural number objects, finiteness and Kripke-Platek models in toposes (Q1825947) (← links)
- Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory (Q1961929) (← links)
- Generalization of linear morphisms on \(N\) in topoi (Q2508813) (← links)
- (Q3411953) (← links)
- (Q4726438) (← links)
- Every Elementary Higher Topos has a Natural Number Object (Q5858943) (← links)