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.
Added a reference.
Can we say exactly what kind of pretopos the category of small presheaves on a category C is?
Is it a ΠW-pretopos, provided that PC is complete?
What is PC?
PC is the notation used in the article for the category of small presheaves.
ok, thanks. I think the part is difficult. The part is easier. I don’t know offhand what being complete gets you.
Yeah, I’d be doubtful that you can get lccc. Usually that sort of thing requires an adjoint functor theorem with small-generation hypotheses.
Updated the reference
as the pdf link was broken, and it only had title and author in a paragraph.
1 to 7 of 7