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

Elementary categories, elementary toposes

Author: Colin McLarty
Publisher: Oxford : Clarendon Press ; New York : Oxford University Press, 1995.
Series: Oxford logic guides, 21.
Edition/Format:   Print book : EnglishView 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 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 McLarty
ISBN: 0198514735 9780198514732
OCLC Number: 35673904
Description: xiii, 265 pages ; 23 cm.
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.
Series Title: Oxford logic guides, 21.
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

<http://www.worldcat.org/oclc/35673904> # Elementary categories, elementary toposes
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "35673904" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/988953#Place/oxford> ; # Oxford
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://id.worldcat.org/fast/1152703> ; # Toposes
   schema:about <http://id.worldcat.org/fast/849000> ; # Categories (Mathematics)
   schema:about <http://experiment.worldcat.org/entity/work/data/988953#Topic/kategorie> ; # Kategorie
   schema:about <http://experiment.worldcat.org/entity/work/data/988953#Topic/categories_mathematiques> ; # Catégories (mathématiques)
   schema:about <http://experiment.worldcat.org/entity/work/data/988953#Topic/topos_mathematiques> ; # Topos (mathématiques)
   schema:about <http://experiment.worldcat.org/entity/work/data/988953#Topic/algebre_universelle> ; # Algèbre universelle
   schema:about <http://experiment.worldcat.org/entity/work/data/988953#Thing/linear_algebra> ; # Linear algebra
   schema:about <http://experiment.worldcat.org/entity/work/data/988953#Topic/topos> ; # Topos
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/988953#Topic/topologie> ; # Topologie
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/5005884> ; # Colin McLarty
   schema:datePublished "1995" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/988953> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/988953#Series/oxford_logic_guides> ; # Oxford logic guides ;
   schema:name "Elementary categories, elementary toposes"@en ;
   schema:productID "35673904" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/35673904#PublicationEvent/oxford_clarendon_press_new_york_oxford_university_press_1995> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/988953#Agent/clarendon_press> ; # Clarendon Press
   schema:publisher <http://experiment.worldcat.org/entity/work/data/988953#Agent/oxford_university_press> ; # Oxford University Press
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0606/96188539-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9780198514732> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9546048> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/35673904> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/988953#Agent/clarendon_press> # Clarendon Press
    a bgn:Agent ;
   schema:name "Clarendon Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/988953#Agent/oxford_university_press> # Oxford University Press
    a bgn:Agent ;
   schema:name "Oxford University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/988953#Series/oxford_logic_guides> # Oxford logic guides ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/35673904> ; # Elementary categories, elementary toposes
   schema:name "Oxford logic guides ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/988953#Topic/algebre_universelle> # Algèbre universelle
    a schema:Intangible ;
   schema:name "Algèbre universelle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/988953#Topic/categories_mathematiques> # Catégories (mathématiques)
    a schema:Intangible ;
   schema:name "Catégories (mathématiques)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/988953#Topic/topos_mathematiques> # Topos (mathématiques)
    a schema:Intangible ;
   schema:name "Topos (mathématiques)"@en ;
    .

<http://id.worldcat.org/fast/1152703> # Toposes
    a schema:Intangible ;
   schema:name "Toposes"@en ;
    .

<http://id.worldcat.org/fast/849000> # Categories (Mathematics)
    a schema:Intangible ;
   schema:name "Categories (Mathematics)"@en ;
    .

<http://viaf.org/viaf/5005884> # Colin McLarty
    a schema:Person ;
   schema:familyName "McLarty" ;
   schema:givenName "Colin" ;
   schema:name "Colin McLarty" ;
    .

<http://worldcat.org/isbn/9780198514732>
    a schema:ProductModel ;
   schema:isbn "0198514735" ;
   schema:isbn "9780198514732" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.