Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
expanded concrete sheaf: added the precise definition and some important properties.
I have added to concrete sheaf a subsection Slice topos over a concrete object with some observations.
Not sure how useful this is.
Hi, Actually the term is quite widely used for ccc’s, at least in CS, e.g. in
Okay; but in that case the link shouldn’t go to well-pointed topos.
True, but an arbitrary ccc seems to me like a much further step than a pretopos. And the page points out that the “correct” definition differs depending on what kind of category we’re talking about. In particular, it suggests that for a finite-limit category we should ask that $1$ be a strong generator, not just a generator as it is for a concrete category.
I haven’t thought about well-pointed quasitoposes at all.
1 to 8 of 8