compact elements and continuous functors 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.
 A: 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". 
A: 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.
