Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 45 (2004) no. 4

Definable completeness

Bunge, Marta; Jibladze, Mamumka; Streicher, Thomas

p. 243-266

Axioms for convenient calculus

Frölicher, Alfred

p. 267-286

On quantales that classify

C^{*}

Kruml, David; Resende, Pedro

p. 287-296

Order convergence and compactness

Van der Zypen, D.

p. 297-300

Descent equivalence

Guo, Xiuzhan; Sobral, Manuela; Tholen, Walter

p. 301-315

Table of contents