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

Let $A$ be a small allegory (like in Freyd and Scedrov book, or in the Elephant of Johnstone), does it always exists a tabular allegory $B$ and a fully faithfull representation of $A$ in $B$ ?

I am especially interested in the case where $A$ and $B$ are locally complete and distributive. (in this case, one can assume that $B$ is the systemic completion of a small allegory, and hence the question is equivalent to find a fullyfaithfull representation of $A$ in $Rel(\mathcal{T})$ the allegory of relation of a topos $\mathcal{T}$

Hence, another equivalent way to state my question is:

If $Q$ is an involutive unitale quantale, whose underlying poset is a frame and which satisfy the modularity law, then does there exists a topos $\mathcal{T}$ and an object $X \in \mathcal{T}$ such that $Q$ is the quantale of relation on $X$.

My guess is that it is a reasonable conjecture, but that one do not know the answer yet...

share|improve this question

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.