Теория топосов

Berlin.: Springer, 1972. — 545 (xx+525) p. — ISBN: 0-387-05896-6, Français. ( OCR-слой ). [Lecture Notes in Mathematics. V. 269 (Tome I) Theorie des Topos . (Exposés I à IV). (SGA 4-I)]. Préface à la deuxième édition. Comme le lecteur le verra dans 1'Avant-propos de la première édition (incomplète) du présent Séminaire(qui suit cette préface), le but initial du Séminaire a été...

Canada.: TAC, 2005 (12). — 288 p. — (ISSN: 1201-561X), eBook, English ( Free Published ). [Originally published by: Springer-Verlag, New York, 1985. Reprints in Theory and Applications of Categories (TAC), No. 12, 2005, pp. 1–288]. This is a corrected version of the first (and only) edition of the text, published by in 1984 by Springer-Verlag as Grundlehren der mathematischen...

Oxford: Oxford University Press, 2018. — 381 p. — ISBN: 019875891X, 9780198758914. According to Grothendieck, the notion of topos is "the bed or deep river where come to be married geometry and algebra, topology and arithmetic, mathematical logic and category theory, the world of the continuous and that of discontinuous or discrete structures". It is what he had "conceived of...

Boston: Elsevier, 1984. — 551 p. A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Its approach moves always from the particular to the general, following through the steps of the abstraction...

Oxford: Oxford University Press, 2002. — 1016 p. + 1089 p. — (Oxford Logic Guides, 43 & 44). — ISBN: 0 19 852496 X (2 Vol. set). Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos...

Dover Publications, Inc., 2014. — 304 p. — ISBN: 0486493369 Focusing on topos theory's integration of geometric and logical ideas into the foundations of mathematics and theoretical computer science, this volume explores internal category theory, topologies and sheaves, geometric morphisms, other subjects. Preliminaries Elementary Toposes Internal Category Theory Topologies and...

NY.: Princeton, NJ, Princeton University Press, 2009. — 949 (xviii+931) p. — ISBN: 978-0-691-14048-3, 978-0-691-14049-0. [ Reprint: Highertopoi March 10, 2012 . — Annals of Mathematics Studies. Number 170 ]. Let X be a nice topological space (for example, a CW complex). One goal of algebraic topology is to study the topology of X by means of algebraic invariants, such as the...

Oxford: Oxford University Press, 1992. — 277 p. [Colin McLarty. Department of Philosophy. Case Western Reserve University]. The book covers elementary aspects of category theory and topos theory. It has few mathematical prerequisites, and uses categorical methods throughout, rather than beginning with set theoretical foundations. It works with key concepts such as Cartesian...

Berlin: Springer. – 1995. – 101 p. (Lecture notes in mathematics; 1616) In these notes, a detailed account is presented of the relation between classifying spaces and classifying topoi. To make the notes more accessible, I have tried to keep the prerequisites to a minimum, for example by starting with an introductory chapter on topos theory, and by reviewing the necessary basic...

Springer, 2019. — 237 p. — (Progress in Computer Science and Applied Logic 29). — ISBN: 3030007030. This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components...

Перев. с англ. В.Н. Гришина, В.В. Шокурова. — Под ред. Д.А. Бочвара. — М.: Мир, 1983. — 487 с. Топосы - это специального вида категории, способные служить моделями для теоретико-множественных конструкций. Они являются математическим средством унификации и обобщения математических задач и методов их решения. Их можно рассматривать как главный объект новой концепции оснований...

Перев. с англ. В.Н. Гришина, В.В. Шокурова. — Под ред. Д.А. Бочвара. — М.: Мир, 1983. — 487 с. Топосы — это специального вида категории, способные служить моделями для теоретико-множественных конструкций. Они являются математическим средством унификации и обобщения математических задач и методов их решения. Их можно рассматривать как главный объект новой концепции оснований...

Перев. с англ. А.П. Гагарина, В.В. Шокурова. — Под ред. Ю.И. Манина. — М.: Наука, Главное издательство физико-математической литературы, 1986. — 440 с. В книге излагается теория топосов, приобретающая в последнее время важное значение не только в логике, но и в геометрии и топологии. Существенно дополняет вышедшую в 1983 г. в издательстве «Мир» книгу Р. Голдблатта «Топосы....

Перев. с англ. А.П. Гагарина, В.В. Шокурова. — Под ред. Ю.И. Манина. — М.: Наука, Главное издательство физико-математической литературы, 1986. — 440 с. В книге излагается теория топосов, приобретающая в последнее время важное значение не только в логике, но и в геометрии и топологии. Существенно дополняет вышедшую в 1983 г. в издательстве "Мир" книгу Р. Голдблатта "Топосы....

Перевод и редактирование Г. Чернышёва. — Без выходных данных. — 289 с. Книга содержит основные положения теории категорий, топологии, теории пучков, алгебраической геометрия, элементарных топосов. Описываются связи топосов с теорией пучков, алгебраической геометрией, топосами Гротендика. Приводятся сведения по геометрическим морфизмам и синтетической дифференциальной геометрии.

Перевод и редактирование Г. Чернышёва. — Без выходных данных. — 253 с. В этой книге представлена теория временных типов, первая в своем роде, насколько нам известно. Она основана на стандартном ядре и поэтому может быть формализована с помощью помощника по доказательству, такого как COQ или LEAN, путем добавления ряда аксиом. Хорошо известные темпоральные логики, такие как...