Tag Archives: coalgebra

The theory of universal algebras was well-developed in the twentieth century. [It] provides a basis for model theory, and [provides] an abstract understanding of familiar principles of induction, recursion, and freeness. The theory of coalgebras is considerably [less] developed. Coalgebras … Continue reading

Posted in Uncategorized | Tagged , , , , , , , , , , , , | Leave a comment

Paul Finsler believed that sets could be viewed as generalised numbers. Generalised numbers, like numbers, have finitely many predecessors. Numbers having the same predecessors are identical. We can obtain a directed graph for each generalised number by taking the generalised … Continue reading

Posted in Uncategorized | Tagged , , , , , , , , , , , , , , , | Leave a comment