Jump to content

Logical functor

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by GTrang (talk | contribs) at 17:48, 9 February 2015. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)

This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Logical functor" – news · newspapers · books · scholar · JSTOR (February 2015) (Learn how and when to remove this message)

This article is an orphan, as no other articles link to it. Please introduce links to this page from related articles; try the Find link tool for suggestions. (February 2015)

(Learn how and when to remove this message)

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

Properties

Logical functors preserve all of the following

This category theory-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Logical_functor&oldid=646375526"

Hidden categories: