Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
Sheaf theory and the continuum hypothesis.- Classifying topos.- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic.- The formalization of Bishop's constructive mathematics.- Continuous lattices.- Some applications of the formalism of duality in algebraic geometry.- Cotangent complex and deformations of torsors and group schemes.
Sheaf theory and the continuum hypothesis.- Classifying topos.- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic.- The formalization of Bishop's constructive mathematics.- Continuous lattices.- Some applications of the formalism of duality in algebraic geometry.- Cotangent complex and deformations of torsors and group schemes.
Inhaltsverzeichnis
Sheaf theory and the continuum hypothesis.- Classifying topos.- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic.- The formalization of Bishop's constructive mathematics.- Continuous lattices.- Some applications of the formalism of duality in algebraic geometry.- Cotangent complex and deformations of torsors and group schemes.
Details
Fachbereich: Allgemeines
Genre: Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Lecture Notes in Mathematics
Inhalt: Einband - flex.(Paperback)
ISBN-13: 9783540059202
ISBN-10: 3540059202
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Lawvere, F. W.
Redaktion: Lawvere, F. W.
Hersteller: Springer
Springer Spektrum
Springer-Verlag GmbH
Lecture Notes in Mathematics
Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, D-69115 Heidelberg, productsafety@springernature.com
Maße: 235 x 155 x 12 mm
Von/Mit: F. W. Lawvere
Gewicht: 0,318 kg
Artikel-ID: 101888661

Ähnliche Produkte