Freyd cover
id:
freyd-cover-178-4346104
title:
Freyd cover
text:
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 i
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Freyd_cover
date created:
2010-06-27T01:51:18Z
date modified:
2024-09-04T13:54:45Z
main entity:
{"identifier":"Q25202931","url":"https://www.wikidata.org/entity/Q25202931"}
image:
fields total:
13
integrity:
14