skip to content
Elementary categories, elementary toposes Preview this item
ClosePreview this item
Checking...

Elementary categories, elementary toposes

Author: Colin MacLarty
Publisher: Oxford Clarendon Press 2005
Edition/Format:   Print book : English : ReprintView all editions and formats
Summary:

The text introduces categories and elementary toposes while requiring little mathematical background. It defines the key concepts and gives complete elementary proofs of theorems, including the  Read more...

Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Colin MacLarty
ISBN: 0198514735 9780198514732
OCLC Number: 552406388
Notes: Literaturverz. S. [257] - 261
Description: XIII, 265 Seiten Diagramme
Contents: Introduction; PART I: CATEGORIES: Rudimentary structures in a category; Products, equalizers, and their duals; Groups; Sub-objects, pullbacks, and limits; Relations; Cartesian closed categories; Product operators and others; PART II: THE CATEGORY OF CATEGORIES: Functors and categories; Natural transformations; Adjunctions; Slice categories; Mathematical foundations; PART III: TOPOSES: Basics; The internal language; A soundness proof for topos logic; From the internallanguage to the topos; The fundamental theorem; External semantics; Natural number objects; Categories in a topos; Topologies; PART IV: SOME TOPOSES: Sets; Synthetic differential geometry; The effective topos; Relations in regular categories; Further reading; Bibliography; Index.
Responsibility: Colin McLarty
More information:

Reviews

Editorial reviews

Publisher Synopsis

A comprehensive introduction to elementary category theory and elementary topos theory . . . The book is well written . . . Ideal as an introduction for a researcher who wants to understand some of 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


Primary Entity<\/h3>
<http:\/\/www.worldcat.org\/oclc\/552406388<\/a>> # Elementary categories, elementary toposes<\/span>\u00A0\u00A0\u00A0\u00A0a schema:CreativeWork<\/a>, schema:Book<\/a> ;\u00A0\u00A0\u00A0library:oclcnum<\/a> \"552406388<\/span>\" ;\u00A0\u00A0\u00A0library:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/enk<\/a>> ;\u00A0\u00A0\u00A0library:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Place\/oxford<\/a>> ; # Oxford<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Topic\/categories_mathematics<\/a>> ; # Categories (Mathematics)<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Topic\/toposes<\/a>> ; # Toposes<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Topic\/linear_algebra<\/a>> ; # Linear algebra<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/dewey.info\/class\/512.55\/<\/a>> ;\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Topic\/topos_mathematik<\/a>> ; # Topos (Mathematik)<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Topic\/kategorie_mathematik<\/a>> ; # Kategorie (Mathematik)<\/span>\u00A0\u00A0\u00A0schema:bookEdition<\/a> \"Reprint.<\/span>\" ;\u00A0\u00A0\u00A0schema:bookFormat<\/a> bgn:PrintBook<\/a> ;\u00A0\u00A0\u00A0schema:creator<\/a> <http:\/\/viaf.org\/viaf\/45152561597315442991<\/a>> ; # Colin MacLarty<\/span>\u00A0\u00A0\u00A0schema:datePublished<\/a> \"2005<\/span>\" ;\u00A0\u00A0\u00A0schema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/988953<\/a>> ;\u00A0\u00A0\u00A0schema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0schema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Series\/oxford_logic_guides<\/a>> ; # Oxford logic guides<\/span>\u00A0\u00A0\u00A0schema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Series\/<\/a>> ; # <\/span>\u00A0\u00A0\u00A0schema:name<\/a> \"Elementary categories, elementary toposes<\/span>\" ;\u00A0\u00A0\u00A0schema:productID<\/a> \"552406388<\/span>\" ;\u00A0\u00A0\u00A0schema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/552406388#PublicationEvent\/oxfordclarendon_press2005<\/a>> ;\u00A0\u00A0\u00A0schema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Agent\/clarendon_press<\/a>> ; # Clarendon Press<\/span>\u00A0\u00A0\u00A0schema:url<\/a> <http:\/\/www.gbv.de\/dms\/bowker\/toc\/9780198514732.pdf<\/a>> ;\u00A0\u00A0\u00A0schema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780198514732<\/a>> ;\u00A0\u00A0\u00A0wdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/552406388<\/a>> ;\u00A0\u00A0\u00A0\u00A0.<\/div>

Related Entities<\/h3>
<http:\/\/dewey.info\/class\/512.55\/<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Agent\/clarendon_press<\/a>> # Clarendon Press<\/span>\u00A0\u00A0\u00A0\u00A0a bgn:Agent<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Clarendon Press<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Place\/oxford<\/a>> # Oxford<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Place<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Oxford<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Series\/<\/a>> # <\/span>\u00A0\u00A0\u00A0\u00A0a bgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0schema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/552406388<\/a>> ; # Elementary categories, elementary toposes<\/span>\u00A0\u00A0\u00A0schema:name<\/a> \"\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Series\/oxford_logic_guides<\/a>> # Oxford logic guides<\/span>\u00A0\u00A0\u00A0\u00A0a bgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0schema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/552406388<\/a>> ; # Elementary categories, elementary toposes<\/span>\u00A0\u00A0\u00A0schema:name<\/a> \"Oxford logic guides<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Topic\/categories_mathematics<\/a>> # Categories (Mathematics)<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Categories (Mathematics)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Topic\/kategorie_mathematik<\/a>> # Kategorie (Mathematik)<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Kategorie (Mathematik)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Topic\/linear_algebra<\/a>> # Linear algebra<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Linear algebra<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Topic\/topos_mathematik<\/a>> # Topos (Mathematik)<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Topos (Mathematik)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/988953#Topic\/toposes<\/a>> # Toposes<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Toposes<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/id.loc.gov\/vocabulary\/countries\/enk<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:Place<\/a> ;\u00A0\u00A0\u00A0dcterms:identifier<\/a> \"enk<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/viaf.org\/viaf\/45152561597315442991<\/a>> # Colin MacLarty<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Person<\/a> ;\u00A0\u00A0\u00A0schema:familyName<\/a> \"MacLarty<\/span>\" ;\u00A0\u00A0\u00A0schema:givenName<\/a> \"Colin<\/span>\" ;\u00A0\u00A0\u00A0schema:name<\/a> \"Colin MacLarty<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/worldcat.org\/isbn\/9780198514732<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:ProductModel<\/a> ;\u00A0\u00A0\u00A0schema:isbn<\/a> \"0198514735<\/span>\" ;\u00A0\u00A0\u00A0schema:isbn<\/a> \"9780198514732<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/www.worldcat.org\/title\/-\/oclc\/552406388<\/a>>\u00A0\u00A0\u00A0\u00A0a genont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/552406388<\/a>> ; # Elementary categories, elementary toposes<\/span>\u00A0\u00A0\u00A0schema:dateModified<\/a> \"2018-11-10<\/span>\" ;\u00A0\u00A0\u00A0void:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.<\/div>