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.
slightly edited AT category to make the definition/lemma/proposition-numbering and cross-referencing to them come out.
Probably Todd should have a look over it to see if he agrees.
Any new thoughts on your question of whether there’s some relation to the Goodwillie calculus?
Indeed, it was some thinking in this direction that made me come back to the entry of AT-categories. But I am not sure yet.
I need an axiomatic way to characterize an ambient -topos such that to each object is associated a closed symmetric monoidal -category and to suitable morphisms a Wirthmüller context .
In tangent cohesion we have something close: here it is immediate to say and so forth. I have to see how much that helps me.
Specifically I am interested in -rings that are obtained from free -rings on an abelian -group (connective spectrum) after inverting some elements. For these I might actually get away with . Not sure yet.
Is there any way to get at a -version of Freyd’s AT result? Are stable (infinity,1)-categories the right analogue of abelian categories? Would there need to be a notion of -pretoposes?
Urs #1: not only do I agree, but I thank you. I’ve taken advantage of your improved structuring by rewriting some of the proofs so that they link back in logical fashion.
There’s something I find a little ungainly though in Freyd’s development; intriguing though the result is, the axioms look pretty ad hoc, and that probably explains why there hasn’t been much work on them. Perhaps this should be revisited.
I think David has a good point, in that in the context of -category theory the role of abelian categories is played by stable -categories, and these already share some key abstract properties with -toposes.
The most striking one is probably the “stable Giraud theorem” which says that presentable stable -categories are precisely the lex reflective acessible localizations of categories of presheaves of spectra, just like sheaf -toposes are precisely the lex reflective accessible localizations of the categories of presheaves of homotopy types.
As a slogan this means: stable -categories are to -toposes as stable homotopy types are to homotopy types.
Now for a given -site of definition, the tangent (infinity,1)-category of the -topos over that site, unifies both of these: it has both the -topos as well as the stable -category over that site as full sub--categories.
At this point one seems to be pretty close to what Freyd was after, maybe one should play with this a bit more.
Since at AT category there’s a topos version of the idea TA category after the main pretopos version, does Mike’s new definition of elementary (infinity,1)-topos suggest anything for my question in #4?
Another thought, should there be a concept of -pretopos?
Suppose is an abelian category, is a pretopos, and is a left exact functor (such as the forgetful functor ). Then unless I am mistaken, then Artin gluing is a “weak AT category”, i.e. it satisfies Freyd’s universal Horn axioms but not the existential AE axiom. So that axiom is actually doing something to cut down the class of models, and there are interesting models of the rest of the axioms that aren’t products. I wouldn’t be surprised if there are other axioms we can impose to characterize such gluings among the AT categories, similarly to how every quasitopos is the Artin gluing of a Heyting algebra with an extensive quasitopos (A2.6.7 in the Elephant).
This also suggests to me that AT categories are not doing quite the same thing as tangent -categories: both of them are a way to put together an abelian thing with a topos thing, but the ways of putting them together are different. I wonder what elementary axioms are satisfied by categories like , the obvious 1-categorical analogue of parametrized spectra?
Actually, here is one additional axiom on a weak AT category that suffices to enable reconstruction of the functor from : the object is exponentiable (in the cartesian sense). This is true in a topos, of course, but also in any pretopos since , and also in any abelian category where . And in , for we have . So for a type A object , which is of the form , we have being the type T object corresponding to , namely .
In , the operation is a right adjoint modality to , giving two different ways to embed into the gluing category. In general, once this is true, if we define , then the map induces a functor from to the gluing category of this (as a functor from the abelian category of type A objects to the pretopos of type T objects), and so there should be axioms ensuring that this functor is an equivalence.
1 to 9 of 9