Linguistique de l’écrit

Revue internationale en libre accès

Collections | Livre | Chapitre

225404

Uniform functors on sets

Lawrence S. Moss

pp. 420-448

Résumé

This paper studies uniformity conditions for endofunctors on sets following Aczel [1], Turi [21], and others. The "usual" functors on sets are uniform in our sense, and assuming the Anti-Foundation Axiom AFA, a uniform functor H has the property that its greatest fixed point H * is a final coalgebra whose structure is the identity map. We propose a notion of uniformity whose definition involves notions from recent work in coalgebraic recursion theory: completely iterative monads and completely iterative algebras (cias). Among our new results is one which states that for a uniform H, the entire set-theoretic universe V is a cia: the structure is the inclusion of HV into the universe V itself.

Détails de la publication

Publié dans:

Futatsugi Kokichi, Jouannaud Jean-Pierre, Meseguer José (2006) Algebra, meaning, and computation: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Dordrecht, Springer.

Pages: 420-448

DOI: 10.1007/11780274_22

Citation complète:

Moss Lawrence S., 2006, Uniform functors on sets. In K. Futatsugi, J. Jouannaud & J. Meseguer (eds.) Algebra, meaning, and computation (420-448). Dordrecht, Springer.