The algebra of predicting agents