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.
Scones can be used to generally describe proofs that use logical relations.
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] This category theory-related article is a stub.