Add to ORKGIn analogy with the varietal case, we give an abstract characterization of those categories occurring as regular epireflective subcategories of presheaf categories such that the inclusion functor preserves small sums
The goal of this thesis is to present a survey of the relationships between the theory of quasi-cat...
AbstractWe introduce the concept of separated limit sketch and prove that quasivarieties of algebras...
AbstractA pair (C,U) consisting of a category C with coequalizers and a functor U: C → Set is a weak...
characterization of those categories occurring as regular epireflec-tive subcategories of presheaf c...
ABSTRACT. In analogy with the varietal case, we give an abstract characterization of those categorie...
We show how the exact completion of a regular category constitutes a unifying framework for the abst...
AbstractPresheaf categories are well-known to be varieties of algebras and covarieties of coalgebras...
Precategories generalize both the notions of strict n-category and sesquicategory: their definition ...
Precategories generalize both the notions of strict n-category and sesquicategory: their definition ...
Precategories generalize both the notions of strict n-category and sesquicategory: their definition ...
Precategories generalize both the notions of strict n-category and sesquicategory: their definition ...
Abstract. We introduce a new kind of models for constructive set theories based on categories of pre...
AbstractWe characterize regular locally finitely presentable categories as finitary localizations of...
AbstractA full reflective subcategory E of a presheaf category [Cop,Set] is the category of sheaves ...
We introduce the new concept of cartesian module over a pseudofunctor $ R$ from a small category to...
The goal of this thesis is to present a survey of the relationships between the theory of quasi-cat...
AbstractWe introduce the concept of separated limit sketch and prove that quasivarieties of algebras...
AbstractA pair (C,U) consisting of a category C with coequalizers and a functor U: C → Set is a weak...
characterization of those categories occurring as regular epireflec-tive subcategories of presheaf c...
ABSTRACT. In analogy with the varietal case, we give an abstract characterization of those categorie...
We show how the exact completion of a regular category constitutes a unifying framework for the abst...
AbstractPresheaf categories are well-known to be varieties of algebras and covarieties of coalgebras...
Precategories generalize both the notions of strict n-category and sesquicategory: their definition ...
Precategories generalize both the notions of strict n-category and sesquicategory: their definition ...
Precategories generalize both the notions of strict n-category and sesquicategory: their definition ...
Precategories generalize both the notions of strict n-category and sesquicategory: their definition ...
Abstract. We introduce a new kind of models for constructive set theories based on categories of pre...
AbstractWe characterize regular locally finitely presentable categories as finitary localizations of...
AbstractA full reflective subcategory E of a presheaf category [Cop,Set] is the category of sheaves ...
We introduce the new concept of cartesian module over a pseudofunctor $ R$ from a small category to...
The goal of this thesis is to present a survey of the relationships between the theory of quasi-cat...
AbstractWe introduce the concept of separated limit sketch and prove that quasivarieties of algebras...
AbstractA pair (C,U) consisting of a category C with coequalizers and a functor U: C → Set is a weak...