John could Category theory model non-associative structures (algebras), itself being associative?