I wouldn't say category here, to be precise it's the same cofunctor over the initial algebra.