Sheaves in Geometry and Logic : :: SCD d'Orléans

Sheaves in Geometry and Logic : A First Introduction to Topos Theory

Sheaves in Geometry and Logic : A First Introduction to Topos Theory

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Mac Lane, Saunders, 1909-2005, Moerdijk, Ieke, 1958-...., mathématicien (Tác giả)
Định dạng:	Livre numérique
Ngôn ngữ:	Anglais
Được phát hành:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Những chủ đề:	Mathématiques
Truy cập trực tuyến:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Chú thích:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Sheaves in Geometry and Logic, A First Introduction to Topos Theory

Những quyển sách tương tự

Geometry of principal sheaves
Bằng: Vassiliou, Efstathios

Categories and sheaves
Bằng: Kashiwara, Masaki, 1947-...., mathématicien, et al.

Sheaves on manifolds
Bằng: Kashiwara, Masaki, 1947-...., mathématicien, et al.
Được phát hành: (1990)

Sheaves on manifolds
Bằng: Kashiwara, Masaki, 1947-...., mathématicien, et al.

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
Bằng: Bucur, Ion, 1930-1976, et al.

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
Bằng: Bucur, Ion, 1930-1976, et al.
Được phát hành: (1972)

Geometry of Vector Sheaves : An Axiomatic Approach to Differential Geometry Volume II: Geometry. Examples and Applications
Bằng: Mallios, Anastasios, 1932-

Factorizable sheaves and quantum groups
Bằng: Bezrukavnikov, Roman, 1956-...., mathématicien, et al.

Exact categories and categories of sheaves
Bằng: Barr, Michael, 1937-, et al.

Categories of Boolean Sheaves of Simple Algebras
Bằng: Diers, Yves, 1937-...., mathématicien

Classifying Spaces and Classifying Topoi
Bằng: Moerdijk, Ieke, 1958-...., mathématicien

Sheaves in Topology
Bằng: Dimca, Alexandru, 19..-...., mathématicien

Simplicial methods for operads and algebraic geometry
Bằng: Moerdijk, Ieke, 1958-...., mathématicien, et al.

Introduction to foliations and Lie groupoids
Bằng: Moerdijk, Ieke, 1958-, et al.
Được phát hành: (2003)

Lectures on the applications of sheaves to ring theory : Tulane University Ring and Operator Theory Year, 1970-71, Volume III
Bằng: Hofmann, Karl Heinrich, 1932-, et al.

Cohomology of Sheaves
Bằng: Iversen, Birger, 1940-1995

Categories for the working mathematician
Bằng: Mac Lane, Saunders, 1909-2005
Được phát hành: (1971)

Categories for the Working Mathematician
Bằng: Mac Lane, Saunders, 1909-2005

Gap-sheaves and extension of coherent analytic subsheaves
Bằng: Siu, Yum-Tong, 1943-, et al.

Categories for the Working Mathematician
Bằng: Mac Lane, Saunders, 1909-2005

Applications of sheaves : proceedings of the Research symposium on applications of sheaf theory to logic, algebra, and analysis, Durham, July 9-21, 1977
Được phát hành: (1979)

Applications of sheaves : proceedings of the Research symposium on applications of sheaf theory to logic, algebra, and analysis, Durham, July 9-21, 1977

Coherent Analytic Sheaves
Bằng: Grauert, Hans, 1930-2011, et al.

Equivariant sheaves and functors
Bằng: Bernstein, Joseph, 1945-, et al.

Models for Smooth Infinitesimal Analysis
Bằng: Moerdijk, Ieke, 1958-...., mathématicien, et al.

Sheaves, Games, and Model Completions : A Categorial Approach to Nonclassical Propositional Logics
Bằng: Ghilardi, Silvio, et al.

Geometry. Theory of surfaces
Bằng: Burago, Iuriž Dmitrievich, 1936-, et al.
Được phát hành: (1992)

First order categorical logic : model-theoretical methods in the theory of topoi and related categories
Bằng: Makkai, Mihály, 1939-, et al.

Introduction to the Geometry of Foliations. Foliations of Codimension One
Bằng: Hector, Gilbert, 1941-...., mathématicien, et al.

D-Modules, Perverse Sheaves, and Representation Theory
Bằng: Hotta, Ryoshi, 1941-, et al.

Algebraic Cycles, Sheaves, Shtukas, and Moduli : Impanga Lecture Notes
Bằng: Pragacz, Piotr, 19..-...., mathématicien

A first journey through logic
Bằng: Hils, Martin, 1973-, et al.
Được phát hành: (2019)

Simplicial and Dendroidal Homotopy Theory
Bằng: Heuts, Gijs, et al.
Được phát hành: (2022)

Sheaves of Algebras over Boolean Spaces
Bằng: Knoebel, Arthur, 1934-
Được phát hành: (2012)

Topology of Singular Spaces and Constructible Sheaves
Bằng: Schürmann, Jörg

Mathematical logic : a first course
Bằng: Robbin, Joel W.
Được phát hành: (1969)

Sub-Riemannian geometry : general theory and examples
Bằng: Calin, Ovidiu, 19..-...., Mathématicien, et al.
Được phát hành: (2009)

The elements of mathematical logic
Bằng: Rosenbloom, Paul C., 1920-2005
Được phát hành: (1950)

Logica Universalis : Towards a General Theory of Logic
Bằng: Beziau, Jean-Yves

Geometry of submanifolds
Bằng: Chen, Bang-yen, 1943-...., mathématicien
Được phát hành: (1973)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales