Trisha Shetty (Editor)

Scone (category theory)

Updated on
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Covid-19

In the mathematical discipline of category theory, the 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 S e t H o m C ( 1 , ) .

References

Scone (category theory) Wikipedia


Similar Topics
The Garden of Sinners: Overlooking View
Jann Browne
Brianna Perry
Topics
 
B
i
Link
H2
L