I have expanded slightly at coalgebra – Properties – As filtered colimits of finite dimensional pieces.
And I have added and cross-linked with corresponding remarks at dg-coalgebra, at pro-object, at L-infinity algebra and at model structure for L-infinity algebras.
]]>