# 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.
• CommentAuthorUrs
• CommentTimeDec 29th 2010

I edited subobject slightly and added the statement that in an accessible category $C$ every poset of subobjects is small.

• CommentRowNumber2.
• CommentAuthorzskoda
• CommentTimeDec 29th 2010
• (edited Dec 29th 2010)

The collection of subobjects (in the sense of equivalence classes) may be a proper class, even in abelian categories. One related entry is property sup. (edit: added this link into “related entries”; btw, I do not understand listing the entry itself there).

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeDec 29th 2010

The collection of subobjects (in the sense of equivalence classes) may be a proper class, even in abelian categories.

Let’s see, is this meant to be in contradiction to saying that in an accessible category it is a set?

• CommentRowNumber4.
• CommentAuthorzskoda
• CommentTimeDec 30th 2010

This is (if you read carefuly) an introductory statement to property sup which is about further restriction to the chains of subobjects, still intuitively surprising. I think that accessible abelian categories do not need to satisfy the property sup. I do not know what happens with the chain conditions when we talk about chains in a proper class. Dividing into accessible and nonaccessible does not solve the problem of understanding the behaviour of bounds on chains.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeJun 26th 2011

at subobject I have started a new Properties-subsection Limits and colimits of subobjects with some basics on joins/pushouts and meets/fiber products etc.

• CommentRowNumber6.
• CommentAuthorUrs
• CommentTimeJun 26th 2011

… and now also with the full proofs.

• CommentRowNumber7.
• CommentAuthorUrs
• CommentTimeSep 11th 2012

added list of basic examples to subobject.

• CommentRowNumber8.
• CommentAuthorTobyBartels
• CommentTimeSep 1st 2018
• (edited Sep 1st 2018)

I removed redirects for subtype and subalgebra (and their plurals), since neither string ‘typ’ nor ‘gebr’ appears anywhere on the page.

• CommentRowNumber9.
• CommentAuthorTobyBartels
• CommentTimeSep 2nd 2018
• (edited Sep 2nd 2018)

Actually, that edit didn't take. I keep getting Cloudfare HTTP errors. Interestingly, the last attempt did manage to break the redirects, even though it didn't save the new page source.

• Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
• To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

• (Help)