# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorStephan A Spahn
• CommentTimeMay 12th 2012
• (edited May 12th 2012)

In proposition in the subsection in category theoretic logic a proposition in context $\Gamma$ is declared to be a $M$-subobject of $\Gamma$ where $M$ is a class of monomorphisms - but the latter link is grey probably indicating that this class shall satisfy some (closure-)properties.

In this section it says the class $M$ often is chosen to be just that of all monomorphisms, which other choices do occur in the literature?

• CommentRowNumber2.
• CommentAuthorMike Shulman
• CommentTimeMay 13th 2012

In a quasitopos, one sometimes takes the class of strong monomorphisms (which there coincide with the regular ones).

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeNov 2nd 2014

The entry proposition had no pointer back to anything type-theoretic. I have added a brief paragraph.