Using the generic interval
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 34 (1993) no. 4, pp. 259-266. 
@article{CTGDC_1993__34_4_259_0,
     author = {Wraith, Gavin C.},
     title = {Using the generic interval},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {259--266},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {34},
     number = {4},
     year = {1993},
     mrnumber = {1253170},
     zbl = {0796.06017},
     language = {en},
     url = {http://archive.numdam.org/item/CTGDC_1993__34_4_259_0/}
}
TY  - JOUR
AU  - Wraith, Gavin C.
TI  - Using the generic interval
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1993
SP  - 259
EP  - 266
VL  - 34
IS  - 4
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_1993__34_4_259_0/
LA  - en
ID  - CTGDC_1993__34_4_259_0
ER  - 
%0 Journal Article
%A Wraith, Gavin C.
%T Using the generic interval
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1993
%P 259-266
%V 34
%N 4
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_1993__34_4_259_0/
%G en
%F CTGDC_1993__34_4_259_0
Wraith, Gavin C. Using the generic interval. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 34 (1993) no. 4, pp. 259-266. http://archive.numdam.org/item/CTGDC_1993__34_4_259_0/

1 R. Brown& S. Morris, Embeddings in Contractible or Compact Objects, Colloquium Mathematicum 38, pp 213-222, 1978. | MR | Zbl

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

3 P.T. Johnstone, On a topological topos, Proc. London Math. Soc. 38, 1979. | MR | Zbl

4 P.T. Johnstone & G. Wraith, Algebraic Theories in Toposes, Indexed Categories and Their Applications, Lecture Notes in Mathematics, No. 661, pp 141-242, Springer Verlag 1978. | MR | Zbl

5 F. Lawvere, Functorial Semantics of algebraic Theories, Ph.D. Thesis Columbia University 1963; summarized in Proc. Nat. Acad. Sci. U.S.A. Vol 50, pp 869- 872, 1963. | MR | Zbl

6 Saunders MacLane & Ieke Moerdijk, Sheaves in Geometry and Logic, Springer-Verlag 1992. | MR | Zbl