Wellfounded trees in categories
scientific article; zbMATH DE number 1501506
scientific article