Jump to content

Logical functor

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Bananasoldier (talk | contribs) at 02:48, 9 February 2015 (Added tags to the page using Page Curation (unreferenced, orphan)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

A logical functor is a functor between toposes which preserves the topos structure.