Descriptive Set Theory in the Category of Represented Spaces - Arno Pauly (IEEE, 2015)