This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Barr, Exact Categories, in Barr, Grillet, and van Osdol: Exact Categories and Categories of Sheaves, Springer Lecture Notes, Vol. 236 (1971).
S. Eilenberg and G.M. Kelly, Closed Categories, Proc. Conf. Categorical Algebra (La Jolla 1965), Springer Verlag 1966.
J. Gray, The Meeting of Midwest Category Seminar in Zürich August 24–30, 1970, Reports of the Midwest Category Seminar V, Springer Lecture Notes Vol. 195 (1971).
G.M. Kelly, Adjunction for Enriched Categories, Reports of the Midwest Category Seminar III, Springer Lecture Notes Vol. 106 (1969).
A. Kock, Introduction to Functorial Semantics, mimeographed notes, The Bertrand Russell Memorial Logic Conference; Uldum, Denmark, August 1971.
A. Kock and C.J. Mikkelsen, Non-standard extensions in the theory of toposes, Aarhus Universitet Preprint Series 1971/72 No. 25.
A. Kock and C.J. Mikkelsen, Strongly faithful functors between toposes, in preparation.
A. Kock and G.C. Wraith, Elementary Toposes, Aarhus Universitet Lecture Notes Series No. 30 (1971).
F.W. Lawvere, An elementary theory of the category of sets, mimeographed, University of Chicago 1963.
F.W. Lawvere, Reports of the Conference of Mathematical Logic, Leicester 1965.
F.W. Lawvere, Equality in Hyperdoctrines and Comprehension Scheme as an Adjoint Functor, Proceedings of Symposia in Pure Mathematics, Vol. 17, AMS (1970).
F.W. Lawvere, Quantifiers and Sheaves, Actes, Congress International Math. 1970 (Nice), Tome 1, p. 329–334.
F.W. Lawvere and M. Tierney, to appear.
M. Machover and J. Hirschfeld, Lectures on Non-standard Analysis, Springer Lecture Notes Vol. 94 (1969).
C.J. Mikkelsen, Colimits in toposes, in preparation.
A. Robinson, Non-standard Analysis, North Holland 1966.
H. Volger, Logical categories, semantical categories, and topoi, to appear.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1974 Springer-Verlag
About this paper
Cite this paper
Kock, A., Mikkelsen, C.J. (1974). Topos-theoretic factorization of non-standard extensions. In: Hurd, A., Loeb, P. (eds) Victoria Symposium on Nonstandard Analysis. Lecture Notes in Mathematics, vol 369. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0066007
Download citation
DOI: https://doi.org/10.1007/BFb0066007
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06656-9
Online ISBN: 978-3-540-37928-7
eBook Packages: Springer Book Archive