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]
Definition
[edit]Formally, the scone of a category C with a terminal object 1 is the comma category .[1]
References
[edit]- ^ a b Freyd cover at the nLab
Well, that’s interesting to know that Psilotum nudum are known as whisk ferns. Psilotum nudum is the commoner species of the two. While the P. flaccidum is a rare species and is found in the tropical islands. Both the species are usually epiphytic in habit and grow upon tree ferns. These species may also be terrestrial and grow in humus or in the crevices of the rocks.
View the detailed Guide of Psilotum nudum: Detailed Study Of Psilotum Nudum (Whisk Fern), Classification, Anatomy, Reproduction