Local character of finite and partial function categories

About 8 years old · traced to

Let Ξ\Xi be the universe of categories enriched in pointed DCPOs and Scott-continuous functors between them, respecting finite coproducts and initial objects. Let Θ\Theta 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 fpFun⁡\operatorname{fpFun} be the subcategory of finite prime ordinals with total functions between them, and let pFun⁡\operatorname{pFun} be the subcategory of finite prime ordinals and infinite initial ordinals with total functions between them. Local-character conjecture. The category fpFun⁡\operatorname{fpFun} has local character with respect to (Ξ,Θ)(\Xi,\Theta), and the category pFun⁡\operatorname{pFun} has local character with respect to (Ξ,Θ)(\Xi,\Theta). 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.

References

Primary source

Stefano Gogioso, Dan Marsden and Bob Coecke, “Symmetric Monoidal Structure with Local Character is a Property”, arXiv:1805.12088 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.