Add to ORKGAbstract. We show how the exact completion of a regular category constitutes a unifying framework for the abstract characterization of various classes of quasi-varieties.
ABSTRACT. Free regular and exact completions of categories with various ranks of weak limits are pre...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
We show how the exact completion of a regular category constitutes a unifying framework for the abst...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
Bibliography: pages 37-38.The study of reflections in abstract category theory is widespread, and ha...
AbstractTo provide a formal framework for discussing specifications of abstract data types we restri...
ABSTRACT. In analogy with the varietal case, we give an abstract characterization of those categorie...
characterization of those categories occurring as regular epireflec-tive subcategories of presheaf c...
AbstractA pair (C,U) consisting of a category C with coequalizers and a functor U: C → Set is a weak...
In analogy with the varietal case, we give an abstract characterization of those categories occurrin...
The investigation is devoted to the construction of the algebraic theory on the quasi-varieties. The...
Construction of varietal and monadic completions. Characterization of abstract equivalence of (manys...
AbstractWe introduce the concept of separated limit sketch and prove that quasivarieties of algebras...
ABSTRACT. Free regular and exact completions of categories with various ranks of weak limits are pre...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
We show how the exact completion of a regular category constitutes a unifying framework for the abst...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
Bibliography: pages 37-38.The study of reflections in abstract category theory is widespread, and ha...
AbstractTo provide a formal framework for discussing specifications of abstract data types we restri...
ABSTRACT. In analogy with the varietal case, we give an abstract characterization of those categorie...
characterization of those categories occurring as regular epireflec-tive subcategories of presheaf c...
AbstractA pair (C,U) consisting of a category C with coequalizers and a functor U: C → Set is a weak...
In analogy with the varietal case, we give an abstract characterization of those categories occurrin...
The investigation is devoted to the construction of the algebraic theory on the quasi-varieties. The...
Construction of varietal and monadic completions. Characterization of abstract equivalence of (manys...
AbstractWe introduce the concept of separated limit sketch and prove that quasivarieties of algebras...
ABSTRACT. Free regular and exact completions of categories with various ranks of weak limits are pre...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularit...