Search

We prove that the category of F-coalgebras admits exact sequences, under condition F preserves pullbacks; the underlying category 풞 is assumed to be cocomplete with epi-(regular mono) factorizations, finite products and exact sequences. [ABSTRACT FROM AUTHOR]

Let F be an endofunctor of a category C. We prove isomorphism theorems for F -coalgebras under condition that the underlying category C is exact; that is, regular with exact sequences. Also, F is not assumed to preserve pullbacks.