Jump to ContentJump to Main Navigation
Diagrammatic ImmanenceCategory Theory and Philosophy$
Users without a subscription are not able to see the full content.

Rocco "Gangle

Print publication date: 2015

Print ISBN-13: 9781474404174

Published to Edinburgh Scholarship Online: September 2016

DOI: 10.3366/edinburgh/9781474404174.001.0001

Show Summary Details
Page of

PRINTED FROM EDINBURGH SCHOLARSHIP ONLINE (www.edinburgh.universitypressscholarship.com). (c) Copyright Edinburgh University Press, 2022. All Rights Reserved. An individual user may print out a PDF of a single chapter of a monograph in ESO for personal use.date: 30 June 2022

Diagrams of Difference: Adjunctions and Topoi

Diagrams of Difference: Adjunctions and Topoi

(p.211) Chapter 6 Diagrams of Difference: Adjunctions and Topoi
Diagrammatic Immanence

Rocco Gangle

Edinburgh University Press

This chapter examines two advanced constructions in category theory: adjoint functors and topoi. Pairs of adjoint functors, or adjunctions, are formally defined and then illustrated with several concrete examples. Topoi are introduced conceptually by focusing on the role of the subobject classifier within a topos, with examples from set theory and graph theory. The difference between the classical logic of Boolean algebras and the non-classical logic of Heyting algebras is explained in terms of their natural mathematical environments of set theory and topos theory respectively.

Keywords:   Category theory, Adjoint functors, Adjunctions, Topoi, Non-classical logic, Heyting algebras

Edinburgh Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs, and if you can't find the answer there, please contact us.