| http://www.w3.org/ns/prov#value | - The final coalgebra $c : C o F(C)$ consists of all trees, finite and infinite ones, whose branching node types and branching correspond to the operations. (You stated above that the final coalgebra consists just of the infinite trees, but I do not think this is the case.)
|
