Local character of finite and partial function categories

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.

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

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.