Beyond the categorial forms of the axiom of choice - Brunner, Andreas Bernhard Michael; Pinto, Darllan Conceição; Silva, Samuel Gomes da; Mariano, Hugo Luiz (World Congress and School on Universal Logic, 2018)