Top op is a quasi-variety
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 36 (1995) no. 1, pp. 3-10. 
@article{CTGDC_1995__36_1_3_0,
     author = {Barr, Michael and Pedicchio, M. Cristina},
     title = {$Top^{op}$ is a quasi-variety},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {3--10},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {36},
     number = {1},
     year = {1995},
     mrnumber = {1322799},
     zbl = {0819.18002},
     language = {en},
     url = {http://archive.numdam.org/item/CTGDC_1995__36_1_3_0/}
}
TY  - JOUR
AU  - Barr, Michael
AU  - Pedicchio, M. Cristina
TI  - $Top^{op}$ is a quasi-variety
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1995
SP  - 3
EP  - 10
VL  - 36
IS  - 1
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_1995__36_1_3_0/
LA  - en
ID  - CTGDC_1995__36_1_3_0
ER  - 
%0 Journal Article
%A Barr, Michael
%A Pedicchio, M. Cristina
%T $Top^{op}$ is a quasi-variety
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1995
%P 3-10
%V 36
%N 1
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_1995__36_1_3_0/
%G en
%F CTGDC_1995__36_1_3_0
Barr, Michael; Pedicchio, M. Cristina. $Top^{op}$ is a quasi-variety. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 36 (1995) no. 1, pp. 3-10. http://archive.numdam.org/item/CTGDC_1995__36_1_3_0/

M. Barr (1989), Models of Horn theories. In J. W. Gray, ed., Categories in Computer Science and Logic, Contemporary Math. 92, 1-7, Amer. Math. Soc. | MR | Zbl

P.T. Johnstone (1982), Stone Spaces. Cambridge University Press. | MR | Zbl

M.C. Pedicchio (to appear), On k-pcrintitability for categories of P-algebras.