Describir: A concrete introduction to higher algebra /