Definition Internal midpoint algebra [efr-1XB5]

Let \mathcal {C} be any category. An internal midpoint algebra structure on an object A \in \mathcal {C} is a family of midpoint algebra structures on each \mathcal {C}(X,A), so that precomposition is a midpoint homomorphism for every f: Y \to X.