skip to content
Theories, sites, toposes : relating and studying mathematical theories through topos-theoretic 'bridges' Preview this item
ClosePreview this item
Checking...

Theories, sites, toposes : relating and studying mathematical theories through topos-theoretic 'bridges'

Author: Olivia Caramello
Publisher: Oxford : Oxford University Press, 2018.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
This book introduces a set of methods and techniques for studying mathematical theories and relating them to each other through the use of Grothendieck toposes.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Theories, Sites, Toposes : Relating and studying mathematical theories through topos-theoretic 'bridges' / Olivia Caramello.
Oxford : Oxford University Press, 2018
978-0-19-181875-2
(ABES)230576141
Document Type: Book
All Authors / Contributors: Olivia Caramello
ISBN: 9780198758914 019875891X
OCLC Number: 1030583985
Description: 1 v. (XII-368 p.) : illustrations, couv. illustrations en coul. ; 24 cm
Contents: 1: Topos-theoretic background2: Classifying toposes and the 'bridge' technique3: A duality theorem4: Lattices of theories5: Flat functors and classifying toposes6: Theories of presheaf type: general criteria7: Expansions and faithful interpretations8: Quotients of a theory of presheaf type9: Examples of theories of presheaf type10: Some applications
Responsibility: Olivia Caramello, Università degli Studi dell'Insubria - Como.
More information:

Abstract:

This book introduces a set of methods and techniques for studying mathematical theories and relating them to each other through the use of Grothendieck toposes.  Read more...

Reviews

Editorial reviews

Publisher Synopsis

The book is systematic, developing the subject from its very categorical beginning, assuming just the basic notions of category theory and a familiarity with first-order logic. This is a research Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/1030583985<\/a>> # Theories, sites, toposes : relating and studying mathematical theories through topos-theoretic \'bridges\'<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a>, schema:Book<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"1030583985<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/enk<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/3938369845#Topic\/categories_mathematiques<\/a>> ; # Cat\u00E9gories (math\u00E9matiques)<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/3938369845#Topic\/topique_logique<\/a>> ; # Topique (logique)<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/3938369845#Topic\/toposes<\/a>> ; # Toposes<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/3938369845#Topic\/topos_mathematiques<\/a>> ; # Topos (math\u00E9matiques)<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/512.62\/e23\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:author<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/3938369845#Person\/caramello_olivia<\/a>> ; # Olivia Caramello<\/span>\n\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> bgn:PrintBook<\/a> ;\u00A0\u00A0\u00A0\nschema:copyrightYear<\/a> \"2018<\/span>\" ;\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2018<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"This book introduces a set of methods and techniques for studying mathematical theories and relating them to each other through the use of Grothendieck toposes.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/3938369845<\/a>> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/worldcat.org\/entity\/work\/data\/3938369845#CreativeWork\/theories_sites_toposes_relating_and_studying_mathematical_theories_through_topos_theoretic_bridges_olivia_caramello<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Theories, sites, toposes : relating and studying mathematical theories through topos-theoretic \'bridges\'<\/span>\" ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"1030583985<\/span>\" ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780198758914<\/a>> ;\u00A0\u00A0\u00A0\numbel:isLike<\/a> <http:\/\/bnb.data.bl.uk\/id\/resource\/GBB703019<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1030583985<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dewey.info\/class\/512.62\/e23\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/3938369845#Person\/caramello_olivia<\/a>> # Olivia Caramello<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Caramello<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Olivia<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Olivia Caramello<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/3938369845#Topic\/categories_mathematiques<\/a>> # Cat\u00E9gories (math\u00E9matiques)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Cat\u00E9gories (math\u00E9matiques)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/3938369845#Topic\/topique_logique<\/a>> # Topique (logique)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Topique (logique)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/3938369845#Topic\/topos_mathematiques<\/a>> # Topos (math\u00E9matiques)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Topos (math\u00E9matiques)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/3938369845#Topic\/toposes<\/a>> # Toposes<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Toposes<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/enk<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"enk<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/entity\/work\/data\/3938369845#CreativeWork\/theories_sites_toposes_relating_and_studying_mathematical_theories_through_topos_theoretic_bridges_olivia_caramello<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nrdfs:label<\/a> \"Theories, Sites, Toposes : Relating and studying mathematical theories through topos-theoretic \'bridges\' \/ Olivia Caramello.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/1030583985<\/a>> ; # Theories, sites, toposes : relating and studying mathematical theories through topos-theoretic \'bridges\'<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9780198758914<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"019875891X<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9780198758914<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/1030583985<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/1030583985<\/a>> ; # Theories, sites, toposes : relating and studying mathematical theories through topos-theoretic \'bridges\'<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2020-09-06<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Content-negotiable representations<\/p>\n