algebra + analysis + categories