Using the generic interval

Gavin C. Wraith

Cahiers de Topologie et Géométrie Différentielle Catégoriques (1993)

  • Volume: 34, Issue: 4, page 259-266
  • ISSN: 1245-530X

How to cite

top

Wraith, Gavin C.. "Using the generic interval." Cahiers de Topologie et Géométrie Différentielle Catégoriques 34.4 (1993): 259-266. <http://eudml.org/doc/91528>.

@article{Wraith1993,
author = {Wraith, Gavin C.},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {distributive lattice; classifying topos; coherent theory of intervals; topos of simplicial sets; free Boolean algebra; generic interval},
language = {eng},
number = {4},
pages = {259-266},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Using the generic interval},
url = {http://eudml.org/doc/91528},
volume = {34},
year = {1993},
}

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
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 34
IS - 4
SP - 259
EP - 266
LA - eng
KW - distributive lattice; classifying topos; coherent theory of intervals; topos of simplicial sets; free Boolean algebra; generic interval
UR - http://eudml.org/doc/91528
ER -

References

top
  1. 1 R. Brown& S. Morris, Embeddings in Contractible or Compact Objects, Colloquium Mathematicum38, pp 213-222, 1978. Zbl0389.22005MR578534
  2. 2 P.T. Johnstone, Stone Spaces, Cambridge University Press1982. Zbl0499.54001MR698074
  3. 3 P.T. Johnstone, On a topological topos, Proc. London Math. Soc.38, 1979. Zbl0402.18006MR531162
  4. 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 Verlag1978. Zbl0392.18006MR514195
  5. 5 F. Lawvere, Functorial Semantics of algebraic Theories, Ph.D. Thesis Columbia University1963; summarized in Proc. Nat. Acad. Sci. U.S.A. Vol 50, pp 869- 872, 1963. Zbl0119.25901MR158921
  6. 6 SaundersMacLane & Ieke Moerdijk, Sheaves in Geometry and Logic, Springer-Verlag1992. Zbl0822.18001MR1300636

NotesEmbed ?

top

You must be logged in to post comments.