Loading AI tools
From Wikipedia, the free encyclopedia
In the mathematical discipline of category theory, the Freyd cover or scone category is a construction that yields a set-like construction out of a given category. The only requirement is that the original category has a terminal object. The scone category inherits almost any categorical construct the original category has. Scones can be used to generally describe proofs that use logical relations.
The Freyd cover is named after Peter Freyd. The other name, "scone", is intended to suggest that it is like a cone, but with the Sierpiński space in place of the unit interval.[1]
Formally, the scone of a category C with a terminal object 1 is the comma category .[1]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.