Encontrados 8 documentos, a visualizar página 1 de 1
On quasi-equations in locally presentable categories II: a logic
Adámek, Jirí; Sousa, LurdesQuasi-equations given by parallel pairs of finitary morphisms represent properties of objects: an object satisfies the property if its contravariant homfunctor merges the parallel pair. Recently Ad´amek and H´ebert characterized subcategories of locally finitely presentable categories specified by quasi-equations. We now present a logic of quasi-equations close to Birkhoff’s classical equational logic. We prove...
Protolocalisations of homological categories
Borceux, Francis; Clementino, Maria Manuel; Gran, Marino; Sousa, LurdesA protolocalisation of a homological (resp. semi-abelian) category is a regular full reflective subcategory, whose reflection preserves short exact sequences. We study the closure operator and the torsion theory associated with such a situation. We pay special attention to the fibered, the regular epireflective and the monoreflective cases. We give examples in algebra, topos theory and functional analysis. ; ...
On boundedness and small-orthogonality classes
Sousa, LurdesA characterization of locally bounded categories and a criterion to identify small-orthogonality classes in these categories are given. ; Centre for Mathematics of the University of Coimbra; School of Technology of Viseu
The orthogonal subcategory problem and the small object argument
Adámek, Jirí; Hébert, Michel; Sousa, LurdesA classical result of P. Freyd and M. Kelly states that in “good” categories, the Orthogonal Subcategory Problem has a positive solution for all classes H of morphisms whose members are, except possibly for a subset, epimorphisms. We prove that under the same assumptions on the base category and on H, the generalization of the Small Object Argument of D. Quillen holds - that is, every object of the category has...
A logic of implications in algebra and coalgebra
Adámek, Jirí; Sobral, Manuela; Sousa, LurdesImplications in a category can be presented as epimorphisms: an ob- ject satis¯es the implication i® it is injective w.r.t. that epimorphism. G. Ro»cu formulated a logic for deriving an implication from other implications. We present two versions of implicational logics: a general one and a ¯nitary one (for epimor- phisms with ¯nitely presentable domains and codomains). In categories Alg § of algebras on a give...
Morita equivalence of many-sorted algebraic theories
Adámek, Jirí; Sobral, Manuela; Sousa, LurdesAlgebraic 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 are obtained as idempotent modifications of . This is analogous to the classical result of Morita that all rings Morita equivalent to a ring R are obtaine...
Logic of implications
Adámek, Jirí; Sobral, Manuela; Sousa, LurdesA sound and complete logic for implications (or quasi-equations) is presented, extending naturally Birkhoff’s equational logic. This is based on a general logic for injectivity, following an idea of G. Ro¸su. ; Centre for Mathematics of University of Coimbra/ FCT; International Center for Mathematics; Ministry of Education of the Czech Republic, Project MSM 6840770014; School of Technology of Viseu
O Teorema das Quatro Cores
Sousa, LurdesO Problema das Quatro Cores trata da determinação do número mínimo de cores necessárias para colorir um mapa, de países reais ou imaginários, de forma a que países com fronteira comum tenham cores diferentes. Em 1852, Francis Guthrie conjecturou que 4 era esse número mínimo. Mas, não obstante a aparente simplicidade, só ao cabo de mais de cem anos, em 1976, se conseguiu provar que realmente a conjectura esta...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||