I have a few elementary questions about cup-products.

Can one develop them in an axiomatic approach as in group cohomology itself, and give an existence and uniqueness theorem that includes an explicitly computable map on cochains? Second, how do they relate to cup-products in algebraic topology? In general, are there connections between cup-products and other mathematical constructions that may provide more intuition into them?