A Theorem on Barr-Exact Categories, with an Infinitary Generalization

@article{Makkai1990ATO,
  title={A Theorem on Barr-Exact Categories, with an Infinitary Generalization},
  author={Michael Makkai},
  journal={Ann. Pure Appl. Log.},
  year={1990},
  volume={47},
  pages={225-268}
}
  • M. Makkai
  • Published 5 June 1990
  • Mathematics
  • Ann. Pure Appl. Log.

Flat functors and free exact categories

  • Hongde Hu
  • Mathematics
    Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
  • 1996
Abstract Let C be a small category with weak finite limits, and let Flat(C) be the category of flat functors from C to the category of small sets. We prove that the free exact completion of C is the

Enriched regular theories

Structure sheaves of definable additive categories

A note on the exact completion of a regular category, and its infinitary generalizations.

A new description of the exact completion Cex/reg of a regular category C is given, using a certain topos Shv(C) of sheaves on C; the exact completion is then constructed as the closure of C in

A NOTE ON THE EXACT COMPLETION OF A REGULAR CATEGORY , AND ITS INFINITARY GENERALIZATIONS STEPHEN LACK Transmitted by

A new description of the exact completion Cex/reg of a regular category C is given, using a certain topos Shv(C) of sheaves on C; the exact completion is then constructed as the closure of C in

Filtered Colimit Preserving Functors on Models of a Regular Theory

This note recalls the representation of regular theories T in terms of set-valued functors on models given by Makkai(1990), and explicitly states the representation theorem for the classifying topos

A NOTE ON THE EXACT COMPLETION OF A REGULARCATEGORY , AND ITS INFINITARY GENERALIZATIONSSTEPHEN

A new description of the exact completion C ex/reg of a regular category C is given, using a certain topos Shv(C) of sheaves on C; the exact completion is then constructed as the closure of C in

A Logic of Injectivity

Injectivity of objects with respect to a set $\ch$ of morphisms is an important concept of algebra, model theory and homotopy theory. Here we study the logic of injectivity consequences of $\ch$, by

On injectivity in locally presentable categories

AbstractWe show that some fundamental results about projectivity classes, weakly coreflective subcate-gories and cotorsion theories can be generalized from R -modules to arbitrary locally

References

SHOWING 1-10 OF 10 REFERENCES

Some results on locally finitely presentable categories

We prove that any full subcategory of a locally finitely presentable (l.f.p.) category having small limits and filtered colimits preserved by the inclusion functor is itself l.f.p. Here "full" may be

On Representations of Grothendieck Toposes

Results of a representation-theoretic nature have played a major role in topos theory since the beginnings of the subject. For example, Deligne's theorem on coherent toposes, which says that every

Accessible categories : the foundations of categorical model theory

[F-S] D. Fremlin and S. Shelah, Pointwise compact and stable sets of measurable functions, manuscript, 1990. [G-G-M-S] N. Ghoussoub, G. Godefroy, B. Maurey, W. Schachermayer, Some topological and

First order categorical logic

Grothendieck topoi.- Interpretation of the logic in categories.- Axioms and rules of inference valid in categories.- Boolean and heyting valued models.- Completeness.- Existence theorems on geometric

Fibrations in bicategories

© Andrée C. Ehresmann et les auteurs, 1980, tous droits réservés. L’accès aux archives de la revue « Cahiers de topologie et géométrie différentielle catégoriques » implique l’accord avec les

Strong conceptual completeness for first-order logic

  • M. Makkai
  • Mathematics, Computer Science
    Ann. Pure Appl. Log.
  • 1988

Full continuous embeddings of toposes

Some years ago, G. Reyes and the author described a theory relating first order logic and (Grothendieck) toposes. This theory, together with standard results and methods of model theory, is applied