You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Hi. Does anyone know any explicit example of small cat together with a subcat such that fails?
I mean, of course, that's always true when taking localisations internal to locally pres cats. But here I'm not requiring the localisation functor nor the codomain of the localisation to satisfy anything special.
I also tried computing some finite examples and they all seem to satisfy that. So perhaps failure would only happen with infinite ...
Fernando Yamauti said:
Hi. Does anyone know any explicit example of small cat such that fails?
...basically any conceivable example? If "hat" is presheaves, the right hand side of the purported equation is cocomplete. The lhs is very rarely even finitely cocomplete.
Maybe there's something I don't understand?
(I guess there's also a small, harmless abuse of notation, on the LHS is the image of on the other side, via Yoneda?)
fosco said:
(I guess there's also a small, harmless abuse of notation, on the LHS is the image of on the other side, via Yoneda?)
Yes. My bad for the poor writing.
fosco said:
Fernando Yamauti said:
Hi. Does anyone know any explicit example of small cat such that fails?
...basically any conceivable example? If "hat" is presheaves, the right hand side of the purported equation is cocomplete. The lhs is very rarely even finitely cocomplete.
The lhs doesn't have to be a priori cocomplete. But it turned out to be in several finite examples I tried computing. So what's is this any conceivable example you mention?
In looking for a concrete counterexample I would try the "smallest possible" one first: , so that and , while is the Sierpinski topos . Then to show that (or at least that the canonical functor there isn't an equivalence), find a functor for some category that inverts but doesn't factor through Set.
Mike Shulman said:
In looking for a concrete counterexample I would try the "smallest possible" one first: , so that and , while is the Sierpinski topos . Then to show that (or at least that the canonical functor there isn't an equivalence), find a functor for some category that inverts but doesn't factor through Set.
Hmm...right. I thought I had a proof that was also a weak equivalence for any presheaf , but I think I made a mistake. So perhaps that example might work...
Fernando Yamauti said:
what's is this any conceivable example you mention?
...besides those where the localization is nice enough to keep the category cocomplete (for example, when it's a reflective localization, Borceux I, §5.3). But in general, even a cocomplete reflective localization will not have the same colimits of the category before localization (take, for example, sheaves on a topology or a site). I can't think of a more minimal example than the one Mike provided. I would look for other counterexamples in, say, localizing at all morphisms, or taking a very small category of topological spaces: its homotopy category in the sense of "hom-sets modulo homotopy" will not have, say, all coequalizers.
I am too tired to think about it now, but I hope someone else will provide other examples. I realized I never asked myself what happens when you localize at the image of Yoneda... you're asking: for what 's is it true that is equivalent to the presheaves over the "localize all" category ?
I suspect: almost none
Won't be by density of Yoneda? Then it's a groupoid and indeed will never be presheaves over unless is empty.
Kevin Carlson said:
Won't be by density of Yoneda? Then it's a groupoid and indeed will never be presheaves over unless is empty.
The localisation functor doesn't necessarily preserve any (co)limits and, also, the internal hom for a fixed presheaf might fail to send weak equiv to weak equiv. So I don't see how you can get from Yoneda that it's the same as inverting everything...
I was thinking that and all the elements of the inner set are being made invertible. But I didn't think any further, and now I see that there's no obvious way to take inverses on the components of some such map to assemble a map in the other direction; maybe I was intuitively thinking more of a double colimit than a limit of colimits.