Measuring coalgebra
In algebra, a measuring coalgebra of two algebras A and B is a coalgebra enrichment of the set of homomorphisms from A to B. In other words, if coalgebras are thought of as a sort of linear analogue of sets, then the measuring coalgebra is a sort of linear analogue of the set of homomorphisms from A to B. In particular its group-like elements are (essentially) the homomorphisms from A to B. Measuring coalgebras were introduced by Sweedler (1968, 1969). == Definition == A coalgebra C with a linear map from C×A to B is said to measure A to B if it preserves the algebra product and identity (in the coalgebra sense).