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
add comment

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.