Federico De Marchi

Abstract Non-well-founded trees in categories (2008)

Federico De Marchi

non-well-founded sets, as well as non-terminating processes or infinite data structures. Categorically, they arise as final coalgebras for polynomial endofunctors, which we call M-types. We derive...

DOI: 10.1051/ita:2003021 SOLVING ALGEBRAIC EQUATIONS USING COALGEBRA (2008)

Federico De Marchi, Neil Ghani, Christoph Lüth

Abstract. Algebraic systems of equations define functions using recursion where parameter passing is permitted. This generalizes the notion of a rational system of equations where parameter passing...

b,2 (2007)

Coalgebraic Monads, Neil Ghani, Christoph Luth, Federico De Marchi

This paper introduces coalgebraic monads as a unified model of term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term graphs. We develop a...

a;3;5 (2007)

Neil Ghani, Federico De Marchi, John Power

c;4

Models of non-well-founded sets via an indexed final coalgebra theorem (2006)

Benno Berg, Federico De Marchi

Abstract The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on...

Models of non-well-founded sets via an indexed final coalgebra theorem (2006)

Benno Berg, Federico De Marchi

The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on categories...

Under consideration for publication in Math. Struct. in Comp. Science Monads of Coalgebras: Rational Terms and Term Graphs (2004)

Neil Ghani, Christoph L Üth, Federico De Marchi

This paper introduces guarded and strongly guarded monads as a unified model of a variety of different term algebras covering fundamental examples such as initial algebras, final coalgebras, rational...

Solving algebraic equations using coalgebra (2003)

Marchi, Federico De, Ghani, Neil, Lüth, Christoph

DOI: 10.1017/S0960129502003912 Printed in the United Kingdom Dualising initial algebras (2001)

Neil Ghani, Christoph L Üth, Federico De Marchi

Whilst the relationship between initial algebras and monads is well understood, the relationship between final coalgebras and comonads is less well explored. This paper shows that the problem is more...