再帰理論のインスティチューション

帰納的に自由な集合の件だが、有限な代数指標Σを決めて、Σの自由代数＝始対象のことだわな。Σを決めるごとに再帰関数（帰納関数）論ができるから、全体としてはインスティチューション。