2
votes
2answers
142 views

Equivalence relations in suplattices

I am wondering about generalisations of the concept of equivalence relations to suplattices. Here is my motivation: Given a set $X$. The powerset $\mathcal{P}(X)$ is a suplattice. For suplattices ...
8
votes
6answers
1k views

Giving $Top(X,Y)$ an appropriate topology

I am not sure if its OK to ask this question here. Let $Top$ be the category of topological spaces. Let $X,Y$ be objects in $Top$. Let $F:\mathbb{I}\rightarrow Top(X,Y)$ be a function (I will ...
1
vote
2answers
298 views

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 ...
8
votes
3answers
617 views

Localic locales? Towards very pointless spaces by iterated internalization.

One can think of locales as (generalizations of) topological spaces which don't necessary have (enough) points. Of course when one studies locales, one "actually" studies frames, certain sorts of ...
2
votes
3answers
619 views

Lattice of subcategories: subobject classifier in Cat

Two short questions: Is there any work classifying the lattice of subcategories of an arbitrary (sufficiently small) category $\mathcal{C}$, similar to the way that the set of subsets of set ...
6
votes
4answers
615 views

`Topos' with alternate subobject lattice?

We know that for any topos E, and for any object A in E, the subobjects of A, Sub(A), form a Heyting lattice. Does anybody know of any sort of modification of the definition of a topos that makes ...