Take the tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hi,

I am interested in abstracting the Scott topology from Domains to Categories. One can find a definition of a continuous functor which is just such an abstraction:

A functor F:C→D is continuous if it preserves all small (weighted) limits that exist in C, i.e. if for every small category diagram A:E→C in C there is an isomorphism F(limA)≃lim(F∘A).F(\lim A) \simeq \lim (F\circ A).

I found this on the n-Lab. What I am interested in is a notion of compact element which is defined for Domains as this:

if k is less than the sup of any directed subset D, then there is an element x in D such that k is less than x.

Any reference would be good. My intuitions are telling me that if a category is compact, in this sense, it should have a kind of finite presentation. This would be an abstraction from a dcpo of groups where the compact elements are finitely generated. I realize this might not make sense so any help would be great.

share|improve this question
add comment

2 Answers

Your intuitions look good. The analogue of compact element for general categories is the notion of finitely presentable object:

  • An object $c$ of a category $C$ is finitely presentable if the hom-functor $\hom_C(c, -): C \to Set$ preserves directed colimits (colimits of diagrams $D \to C$ where $D$ is a directed poset).

These coincide with finitely presentable algebras when $C$ is a category of algebras of a finitary algebraic theory. This is part of the very beautiful theory of locally finitely presentable categories (and the more general locally presentable categories); an excellent reference for this is the book by Adamek and Rosicky, Locally Presentable and Accessible Categories.

"Locally finitely presentable" means a category which is cocomplete such that every object is a directed colimit of finitely presentable objects (for example, every group can be presented as a directed colimit of finitely presentable groups). Locally finitely presentable posets are the same as algebraic lattices.

Edit: Finn is right that finitely presentable objects are also called "compact objects".

share|improve this answer
add comment

Have you tried nLab again?

I'm not sure continuous functors are what you're looking for, incidentally. It seems more likely that a 'Scott-continuous functor' should be one that preserves filtered colimits.

Replacing the preorders (and metric spaces) of domain theory with (enriched) categories is not a new idea. Have a look at Categories for fixpoint semantics (1978) by Daniel Lehmann, and Solving recursive domain equations with enriched categories (1994) by Kim Ritter Wagner.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.
{"cc_re__cc_re__cc_by_sa_3_0": ["        <li><a href=\"http://area51.stackexchange.com\" title=\"proposing new sites in the Stack Exchange network\">Area 51</a></li>\r\n                        <li><a href=\"http://careers.stackoverflow.com\">Stack Overflow Careers</a></li>\r\n                    \r\n                </ol>\r\n            </td>\r\n    </tr>\r\n</table>\r\n                </div>\r\n            </div>\r\n\r\n            <div id=\"copyright\">\r\n                site design / logo &#169; 2013 stack exchange inc; user contributions licensed under <a href=\"http://creativecommons.org/licenses/by-sa/3.0/\" rel=\"license\">cc-wiki</a> \r\n with <a href=\"http://blog.stackoverflow.com/2009/06/attribution-required/\" rel=\"license\">attribution required</a>\r\n            </div>\r\n            <div id=\"footer-flair\">\r\n                <a href=\"http://creativecommons.org/licenses/by-sa/3.0/\" class=\"cc-wiki-link\"></a>\r\n            </div>\r\n            <div id=\"svnrev\">\r\n                rev 2013.12.20.1261\r\n            </div>\r\n            \r\n        </div>\r\n    </div>\r\n    <noscript>\r\n        <div id=\"noscript-warning\">MathOverflow", "ol>\r\n            </td>\r\n    </tr>\r\n</table>\r\n                </div>\r\n            </div>\r\n\r\n            <div id=\"copyright\">\r\n                site design / logo &#169; 2013 stack exchange inc; user contributions licensed under <a href=\"http://creativecommons.org/licenses/by-sa/3.0/\" rel=\"license\">cc-wiki</a> \r\n with <a href=\"http://blog.stackoverflow.com/2009/06/attribution-required/\" rel=\"license\">attribution required</a>\r\n            </div>\r\n            <div id=\"footer-flair\">\r\n                <a href=\"http://creativecommons.org/licenses/by-sa/3.0/\" class=\"cc-wiki-link\"></a>\r\n            </div>\r\n            <div id=\"svnrev\">\r\n                rev 2013.12.20.1261\r\n            </div>\r\n            \r\n        </div>\r\n    </div>\r\n    <noscript>\r\n        <div id=\"noscript-warning\">MathOverflow works best with JavaScript enabled<img src=\"http://pixel.quantserve.com/pixel/p-c1rF4kxgLUzNc.gif\" alt=\"\" class=\"dno\"></div>\r\n    </noscript>\r\n\r\n    <script type=\"text/javascript\">var _gaq=_gaq||[];_gaq.push(['_setAccount','UA-5620270-40']);\r\n        _gaq.push(['_setCustomVar', 1"], "copyright__copyright__copyright": ["g the preorders (and metric spaces) of domain theory with (enriched) categories is not a new idea. Have a look at Categories for fixpoint semantics (1978) by Daniel Lehmann, and Solving recursive domain equations with enriched categories (1994) by Kim Ritter Wagner.\n\nshare|improve this answer\nadd comment\n\nYour Answer\n\n\u00a0\ndiscard\n\nBy posting your answer, you agree to the privacy policy and terms of service.\n\nNot the answer you're looking for? Browse other questions tagged or ask your own question."]}