共遞歸

共遞歸在計算機科學重視一類操作 ， 與遞歸在範疇論上對偶 。 因而遞歸是分析地工作 ， 把數據分解爲更小的數據直至達到基本情況 。 共遞歸是合成地工作 ， 從基本情況構造出數據 。 共遞歸的數據是自己一點一點構造出來的 。 一個類似但不同的概念是生成式遞歸 （ generative recursion ） 。 共遞歸常與惰性求值配合 ， 產生一個潛在無窮結構的有限子集 。