Uniform Functors on Sets

This paper is a contribution to the study of uniformity conditions for endofunctors on sets initiated in Aczel [1] and pursued later in other works such as Turi [17]. The main results have been that the "usual" functors on sets are uniform in our sense, and that 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 such as completely iterative monads and completely iterative algebras (CIAs), see Ad

• Type: Conference
• Year: 2006
• Where: BIRTHDAY
• Authors: Lawrence S. Moss
• Keywords: Anti-Foundation Axiom AFA, Applied Computing, BIRTHDAY 2006, Definition Involves Notions, Uniformity Conditions