# Tagged Questions

**2**

votes

**2**answers

139 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

**6**answers

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

**2**answers

297 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

**3**answers

606 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

**3**answers

613 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

**4**answers

609 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 ...