3 ms·I wouldn't say category here, to be precise it's the same cofunctor over the initial algebra.by raphlinus 10y agoI wouldn't say category here, to be precise it's the same cofunctor over the initial algebra.