Namespace BialgHom 4 theorems
- An algebra map multiplicative on K-points is a bialgebra map
BialgHom.exists_coe_eq_of_forall_withConv_comp0 below · cited by 5 · depth 13 - Natural convolution-multiplicative transformations of points come from bialgebra maps
BialgHom.exists_comp_eq_of_natural_of_map_mul0 below · cited by 2 · depth 17 - Descent of bialgebra maps along a surjective bialgebra map
BialgHom.exists_comp_eq_comp_of_surjective_of_ker_le0 below · cited by 3 · depth 25 - Bialgebra descent along K ∩ ̂ O = O
BialgHom.existsUnique_baseChange_eq_of_isFractionRing_of_forall_rTensor_apply_eq1 below · cited by 1 · depth 30