Categorial forms of the axiom of choice - Brunner, Andreas Bernhard Michael; Silva, Samuel Gomes da; Mariano, Hugo Luiz (Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL), 2014)