Download Sets, Logic And Categories