Local character of finite and partial function categories
Local character of finite and partial function categories
Let be the universe of categories enriched in pointed DCPOs and Scott-continuous functors between them, respecting finite coproducts and initial objects. Let be the universe of symmetric monoidal categories enriched in pointed DCPOs and Scott-continuous monoidal functors between them, respecting finite coproducts and initial objects. Let be the subcategory of finite prime ordinals with total functions between them, and let be the subcategory of finite prime ordinals and infinite initial ordinals with total functions between them. Local-character conjecture. The category has local character with respect to , and the category has local character with respect to . This is presented as a tentative result in the enriched categorical setting; the source leaves further investigation to future work, and no resolution is given.
Sources & referencesView supporting material
Primary source
Stefano Gogioso, Dan Marsden and Bob Coecke, “Symmetric Monoidal Structure with Local Character is a Property”, arXiv:1805.12088 (2019).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.