Categorial forms of the Axiom of Choice. - Andreas B. M. Brunner; Hugo Luiz Mariano; Samuel G. Da Silva (Log. J. IGPL, 2017)