Searching for "Wellfounded trees in categories." – sorted by Relevance.
-
Wellfounded Trees in Categories
- Wellfounded trees in categories Ieke Moerdijk (Utrecht) and Erik Palmgren (Uppsala) Revised
- Cited by 21 (2 self) – Add To MetaCart
-
Presheaf models of constructive set theories
- leads to define a general notion of wellfounded tree in categories [21]. These are defined as initial
- Cited by 6 (3 self) – Add To MetaCart

