A Representation Theorem for Geometric Morphisms

13 years 4 months ago

Download www.christophertownsend.org

It it shown that geometric morphisms between elementary toposes can be represented as certain adjunctions between the corresponding categories of locales. These adjunctions are characterized by (i) they preserve the order enrichment and the Sierpi

Christopher F. Townsend

Real-time Traffic

ACS 2010 | Certain Adjunctions | Corresponding Categories | Distributed And Parallel Computing | Elementary Toposes |

claim paper

» Conservation principles and action schemes in the synthesis of geometric concepts

» Bidimensionality and geometric graphs

» Realization of Posets

» Visual Reasoning in Geometry Theorem Proving

» Arithmetic of Dedekind cuts of ordered Abelian groups

» DrDoodle A Diagrammatic Theorem Prover

» Final coalgebras and the HennessyMilner property

» Probabilistic Event Structures and Domains

Post Info
More Details (n/a)

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2010
Where	ACS
Authors	Christopher F. Townsend

Comments (0)

Sciweavers

A Representation Theorem for Geometric Morphisms

ACS 2010 | Certain Adjunctions | Corresponding Categories | Distributed And Parallel Computing | Elementary Toposes |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers