Describir: Abstract approximation theory,