← all areas

Namespace Coalgebra 3 theorems

— 2 · IsCocomm 1

directly in Coalgebra 2

• Local finiteness of coalgebras, relative form Coalgebra.exists_finiteDimensional_le_comul_mem_span 0 below · cited by 1 · depth 19
• Cofree comodules: every 1-cocycle in (N⊗ L)⊗ L is a coboundary Coalgebra.eq_lTensor_comul_sub_tmul_one_of_cocycle 0 below · cited by 1 · depth 41

Coalgebra.IsCocomm 1

• Cocommutativity descends along surjective bialgebra maps Coalgebra.IsCocomm.of_surjective_bialgHom 0 below · cited by 1 · depth 22