Pages that link to "Item:Q752170"
From MaRDI portal
The following pages link to List-arithmetic distributive categories: Locoi (Q752170):
Displaying 9 items.
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- Finite objects in a locos (Q678844) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- Categories with finite limits and stable binary coproducts can be subdirectly decomposed (Q1192251) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Constructing process categories (Q1391863) (← links)
- The universal property of the multitude of trees (Q1588060) (← links)
- Joyal's arithmetic universes via type theory (Q2842826) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
