Describir: Algebra Universalis