2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Luigi Santocanale
We prove that every finitary polynomial endofunctor of a category C has a final coalgebra if C is locally Cartesian closed, has finite disjoint coproducts and a natural number…