Skip to main content
MathOverflow

Return to Question

added 135 characters in body
Source Link
Mendieta
Mendieta
  • 401
  • 3
  • 12

Let ${f : E \rightarrow S}$ be a geometric morphism (between toposes).

For $s$ in $S$ and $x$ in $E$ let ${\pi : f^* s \times x \rightarrow x}$ be the obvious projection in $E$.

Let ${u \rightarrow f^* s \times x}$ be a complemented subobject of ${f^* s \times x}$.

Is the image of $u$ along $\pi$ complemented as a subobject of $x$?

(See also Images of complemented subobjects in hyperconnected toposes over Boolean bases)

Let ${f : E \rightarrow S}$ be a geometric morphism (between toposes).

For $s$ in $S$ and $x$ in $E$ let ${\pi : f^* s \times x \rightarrow x}$ be the obvious projection in $E$.

Let ${u \rightarrow f^* s \times x}$ be a complemented subobject of ${f^* s \times x}$.

Is the image of $u$ along $\pi$ complemented as a subobject of $x$?

Let ${f : E \rightarrow S}$ be a geometric morphism (between toposes).

For $s$ in $S$ and $x$ in $E$ let ${\pi : f^* s \times x \rightarrow x}$ be the obvious projection in $E$.

Let ${u \rightarrow f^* s \times x}$ be a complemented subobject of ${f^* s \times x}$.

Is the image of $u$ along $\pi$ complemented as a subobject of $x$?

(See also Images of complemented subobjects in hyperconnected toposes over Boolean bases)

Rollback to Revision 1
Source Link
Mendieta
Mendieta
  • 401
  • 3
  • 12

Let ${f : E \rightarrow S}$ be a geometric morphism (between toposes).

For $s$ in $S$ and $x$ in $E$ let ${\pi : f^* s \times x \rightarrow x}$ be the secondobvious projection in $E$.

Let ${u \rightarrow f^* s \times x}$ be a complemented subobject of ${f^* s \times x}$.

Is the image of $u$ along $\pi$ complemented as a subobject of $x$?

Let ${f : E \rightarrow S}$ be a geometric morphism (between toposes).

For $s$ in $S$ and $x$ in $E$ let ${\pi : f^* s \times x \rightarrow x}$ be the second projection in $E$.

Let ${u \rightarrow f^* s \times x}$ be a complemented subobject of ${f^* s \times x}$.

Is the image of $u$ along $\pi$ complemented as a subobject of $x$?

Let ${f : E \rightarrow S}$ be a geometric morphism (between toposes).

For $s$ in $S$ and $x$ in $E$ let ${\pi : f^* s \times x \rightarrow x}$ be the obvious projection in $E$.

Let ${u \rightarrow f^* s \times x}$ be a complemented subobject of ${f^* s \times x}$.

Is the image of $u$ along $\pi$ complemented as a subobject of $x$?

deleted 1 character in body
Source Link
Andrej Bauer
Andrej Bauer
  • 48.8k
  • 11
  • 131
  • 239

Let ${f : E \rightarrow S}$ be a geometric morphism (between toposes).

For $s$ in $S$ and $x$ in $E$ let ${\pi : f^* s \times x \rightarrow x}$ be the obvioussecond projection in $E$.

Let ${u \rightarrow f^* s \times x}$ be a complemented subobject of ${f^* s \times x}$.

Is the image of $u$ along $\pi$ complemented as a subobject of $x$?

Let ${f : E \rightarrow S}$ be a geometric morphism (between toposes).

For $s$ in $S$ and $x$ in $E$ let ${\pi : f^* s \times x \rightarrow x}$ be the obvious projection in $E$.

Let ${u \rightarrow f^* s \times x}$ be a complemented subobject of ${f^* s \times x}$.

Is the image of $u$ along $\pi$ complemented as a subobject of $x$?

Let ${f : E \rightarrow S}$ be a geometric morphism (between toposes).

For $s$ in $S$ and $x$ in $E$ let ${\pi : f^* s \times x \rightarrow x}$ be the second projection in $E$.

Let ${u \rightarrow f^* s \times x}$ be a complemented subobject of ${f^* s \times x}$.

Is the image of $u$ along $\pi$ complemented as a subobject of $x$?

Became Hot Network Question
Source Link
Mendieta
Mendieta
  • 401
  • 3
  • 12