#### Filter Results:

- Full text PDF available (8)

#### Publication Year

2000

2016

- This year (0)
- Last five years (4)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- EDUARDO J. DUBUC
- 2008

introduction The notion of a (pointed) Galois pretopos (" catégorie galoisienne ") was considered originally by Grothendieck in [12] in connection with the fundamental group of an scheme. In that paper Galois theory is conceived as the axiomatic characterization of the classifying pretopos of a profinite group G. The fundamental theorem takes the form of a… (More)

- EDUARDO J. DUBUC
- 2008

It is well known that the category of covering projections (that is, locally constant objects) of a locally connected topos is equivalent to the classifying topos of a strict progroupoid (or, equivalently, a localic prodiscrete groupoid), the fundamental progroupoid, and that this progroupoid represents first degree cohomology. In this paper we generalize… (More)

- Eduardo J Dubuc, Luis Espa˜nol
- 2006

In this paper we develop the theory of topological categories over a base category, that is, a theory of topological functors. Our notion of topo-logical functor is similar to (but not the same) the existing notions in the literature (see [2] 7.3), and it aims at the same examples. In our sense, a (pre) topological functor is a functor that creates… (More)

- EDUARDO J. DUBUC
- 2000

In this article we prove the following: A topos with a point is connected atomic if and only if it is the classifying topos of a localic group, and this group can be taken to be the locale of automorphisms of the point. We explain and give the necessary definitions to understand this statement. The hard direction in this equivalence was first proved in… (More)

- Eduardo J Dubuc, Luis Espa˜nol
- 2006

In this paper we develop the theory of quasispaces (for a Grothendieck topology) and of concrete quasitopoi, over a suitable base category. We introduce the notion of f-regular category and of f-regular functor. The f-regular categories are regular categories in which every family with a common codomain can be factorized into a strict epimorphic family… (More)

- Eduardo J. Dubuc, Yuri A. Poveda
- Ann. Pure Appl. Logic
- 2010

In this paper we develop a general representation theory for mv-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of mv-algebras and mv-chains, to the representation of commutative… (More)

- Eduardo J. Dubuc, Yuri A. Poveda
- Studia Logica
- 2015

- Eduardo J. Dubuc
- Ann. Pure Appl. Logic
- 2012

- Eduardo J. Dubuc, Yuri A. Poveda
- Studia Logica
- 2013

- EDUARDO J. DUBUC
- 2016

We consider locales B as algebras in the tensor category ss of sup-lattices. We show the equivalence between the Joyal-Tierney descent theorem for open localic surjections shB q −→ E in Galois theory and a Tannakian recognition theorem over ss for the ss-functor Rel(E) Rel(q *) −→ Rel(shB) ∼ = (B-M od) 0 into the ss-category of discrete B-modules. Thus, a… (More)