#### Filter Results:

- Full text PDF available (8)

#### Publication Year

1949

2014

- This year (0)
- Last 5 years (1)
- Last 10 years (3)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

Algebraic theories are called Morita equivalent provided that the corresponding varieties of algebras are equivalent. Generalizing Dukarm’s result from one-sorted theories to many-sorted ones, we prove that all theories Morita equivalent to an S-sorted theory T are obtained as idempotent modifications of T . This is analogous to the classical result of… (More)

- Jirí Adámek, ROBERT EL BASHIR, Manuela Sobral, Jiri Velebil, Robert El Bashir, Manuela Sobral
- 2001

We show that lax epimorphisms in the category Cat are precisely the functors P : E −→ B for which the functor P ∗ : [B,Set] −→ [E,Set] of composition with P is fully faithful. We present two other characterizations. Firstly, lax epimorphisms are precisely the “absolutely dense” functors, i.e., functors P such that every object B of B is an absolute colimit… (More)

- Manuela Sobral
- Applied Categorical Structures
- 1996

The paper deals with (effective) descent morphisms for subfibrations E(X) of the basic fibration Top~X, for topological spaces X and classes E of continuous functions stable under pullback. For a category with pullbacks, we prove the stability under pullback of effective Edescent morphisms for a class E satisfying some suitable conditions. This plays a r61e… (More)

Implications in a category can be presented as epimorphisms: an object satisfies the implication iff it is injective w.r.t. that epimorphism. G. Roçu formulated a logic for deriving an implication from other implications. We present two versions of implicational logics: a general one and a finitary one (for epimorphisms with finitely presentable domains and… (More)

- Margarida Dias, Manuela Sobral
- Applied Categorical Structures
- 2006

A characterization of descent morphism in the category of Priestley spaces, as well as necessary and sufficient conditions for such morphisms to be effective are given. For that we embed this category in suitable categories of preordered topological spaces were descent and effective morphisms are described using the monadic description of descent.

- Manuela Sobral
- Applied Categorical Structures
- 2004

We characterize the (effective) E-descent morphisms in the category Cat of small categories, when E is the class of discrete fibrations or the one of discrete cofibrations, and prove that every effective global-descent morphism is an effective E-descent morphism while its converse fails.

- George Janelidze, Manuela Sobral
- Applied Categorical Structures
- 2011

We show that the category of regular epimorphisms in a Barr exact Goursat category is almost Barr exact in the sense that (it is a regular category and) every regular epimorphism in it is an effective descent morphism.

- Nelson Martins-Ferreira, Andrea Montoli, Manuela Sobral
- Applied Categorical Structures
- 2014

The categorical definition of semidirect products was introduced by D. Bourn and G. Janelidze in [2], where they proved that, in the category of groups, this notion coincides with the classical one. A characterization of pointed categories with categorical semidirect products was given in [3]. The existence of such products imply, in particular, that the… (More)

- Manuela Sobral
- Folha medica
- 1950

- Manuela Sobral
- Applied Categorical Structures
- 2001

In the category Top of topological spaces and continuous functions we prove that descent morphisms with respect to the class IE of continuous bijections are exactly the descent mor phisms providing a new characterization of the latter in terms of sub brations IE X of the basic bration given by Top X which are essentially complete lattices Also e ective… (More)

- ‹
- 1
- ›