Regular and exact completions

Barr, 1971, Exact Categories and Categories of Sheaves, Vol. 236

Barr, 1985, Toposes, Triples and Theories, Vol. 278

Barr, 1996, Topological spaces and quasi-varieties, Appl. Cat. Struct., 4, 81, 10.1007/BF00124116

Borceux, 1994

Bunge, 1966, Categories of set valued functors

Carboni, 1995, Some free constructions in realizability and proof theory, J. Pure Appl. Algebra, 103, 117, 10.1016/0022-4049(94)00103-P

Carboni, 1982, The free exact category on a left exact one, J. Austr. Math. Soc. Ser. A, 33, 295, 10.1017/S1446788700018735

Carboni, 1993, Introduction to extensive and distributive categories, J. Pure Appl. Algebra, 84, 145, 10.1016/0022-4049(93)90035-R

Carboni, 1987, Cartesian bicategories I, J. Pure Appl. Algebra, 49, 11, 10.1016/0022-4049(87)90121-6

Freyd, 1966, Representations in abelian categories

Freyd, 1990

Herrlich, 1973

Grothendieck, 1957, Sur quelques points d'alge`bre homologique, Tohoku Math. J., 9, 119

Hu, 1994, Flat Functors and free exact categories, 10.1017/S1446788700037575

Johnstone, 1977, Topos Theory, Vol. 10

Johnstone, 1982

Lawvere, 1973, Category theory over a base topos

Mac Lane, 1992

Makkai, 1977, First-Order Categorical Logic, Vol. 611

Rosebrough, 1994, Constructive complete distributivity IV, Appl. Cat. Struct., 2, 119, 10.1007/BF00873296

Vitale, 1994, Left covering functors

Vitale, 1994, On the characterization of monadic categories over Set, Cahiers de Top. et Ge´om. Diff. Cate´goriques, XXXV, 351

Vitale, 1996, Localizations of algebraic categories, J. Pure Appl. Algebra, 108, 315, 10.1016/0022-4049(95)00076-3