Categorial forms of the axiom of choice - Brunner, Andreas Bernhard Michael; Mariano, Hugo Luiz; Silva, Samuel Gomes da (Logic Journal Of The IGPL, 2017)