Sciweavers

Share
BIRTHDAY
2006
Springer

Uniform Functors on Sets

10 years 3 months ago
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
Lawrence S. Moss
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where BIRTHDAY
Authors Lawrence S. Moss
Comments (0)
books