递归范畴

recursive category