F-coalgebra