Freyd cover: Difference between revisions
Content deleted Content added
m Normalize {{Multiple issues}}: Remove {{Multiple issues}} for only 1 maintenance template(s): Refimprove |
|||
Line 1: | Line 1: | ||
{{multiple issues| |
|||
{{orphan|date=February 2017}} |
{{orphan|date=February 2017}} |
||
{{refimprove|date=May 2016}} |
{{refimprove|date=May 2016}} |
||
}} |
|||
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]]. |
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]]. |
||
Revision as of 07:25, 31 May 2020
This article needs additional citations for verification. (May 2016) |
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.
Definition
Formally, the scone of a category C with a terminal object 1 is the comma category .[1]
References
- ^ Freyd cover at the nLab