共递归在计算机科学重视一类操作，与递归在范畴论上对偶。因而递归是分析地工作，把数据分解为更小的数据直至达到基本情况。共递归是合成地工作，从基本情况构造出数据。共递归的数据是自己一点一点构造出来的。一个类似但不同的概念是"生成式递归"（generative recursion）。 共递归常与惰性求值配合，产生一个潜在无穷结构的有限子集。 
例子.Corecursion can be understood by contrast with recursion, which is mor