Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJan 10th 2010
    • (edited Oct 15th 2012)

    quickly added at accessible category parts of the MO discussion here. Since Mike participated there, I am hoping he could add more, if necessary.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJan 11th 2010
    • (edited Oct 15th 2012)

    Since Mike participated there, I am hoping he could add more, if necessary.

    Thanks to Mike for editing the entry now, nicely!

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 15th 2012

    I have touched accessible category. Provided numbered environments, collected the references and harmonized the pointers to them.

    • CommentRowNumber4.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 15th 2012

    That reminds me I never did anything about Mike’s recommendation here. Could those four bullet points at sketch be transferred to accessible category?

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeOct 15th 2012

    Certainly. What would you be worried about? Small parts of this is already at the entry.

    But the text needs more links, notably for multireflective subcategory and weakly reflective subcategory.

    • CommentRowNumber6.
    • CommentAuthorTim_Porter
    • CommentTimeFeb 16th 2014

    I added in a link to the Adamek, Borceux, Lack, Rosicky paper on a classicfation of accessible categories. (I duplicated the link at ind-object.

    • CommentRowNumber7.
    • CommentAuthorDylan Wilson
    • CommentTimeAug 31st 2017

    Apologies if the nForum is not the place to debate history, but I believe that the terms “accessible functor” and “accessible category” were used long before Makkai and Paré: in SGA 4, Exposé I no. 9.2-4. Grothendieck defines these ’after a suggestion by Deligne’. Grothendieck actually develops most of the theory of accessible categories right then and there- including giving the standard equivalent characterizations (a special case of 9.18) and proving that accessible categories are closed under certain homotopy limits and right lax limits (Theorem 9.22, albeit using the language of fibered categories not (lax) limits). He also proves various (ind/pro-)representability and (ind/pro-)adjoint functor theorems in the previous sections, some combinations of which include the familiar ones about presentable categories (though it isn’t spelled out in this way).

    I’m very confused by the complete lack of citations to SGA4 in Makkai-Pare and Adameck-Rosicky, both of which came way after. There’s even some argument to be made about that Gabriel-Ulmer should have given Grothendieck a nod for their work on presentable categories (but, though the lectures for SGA4 took place in the early 60s, the Springer book was after Gabriel-Ulmer’s, so that’s fair.) Many places (not just the nLab) seem to ignore this Exposé altogether in the history of presentable/accessible categories, and that makes no sense to me…

    Apologies for the rant-ish nature of this post- I’m not actually upset, just perplexed. I’m wondering if I’m just out of the loop on some aspect of this history, and someone can help me set it straight.

    • CommentRowNumber8.
    • CommentAuthorHarry Gindi
    • CommentTimeAug 31st 2017
    • (edited Aug 31st 2017)

    @Dylan If I remember correctly, SGA4 is not written entirely by Grothendieck but is rather a compilation of lecture notes in a seminar convened by Grothendieck. Certain parts of it have been attributed to different authors (in particular, I remember reading that Artin authored a large part of SGA4, for example, including a pretty difficult proof of a desingularization theorem in commutative algebra).

    It’s possible that Makkai or Pare participated in those seminars.

    However, I did take a look at the introduction to Makkai-Pare, and it does indeed cite SGA4 quite extensively in its introduction (see page 6 of the print edition), but it makes no reference to the specific person who presented the idea to the seminar.

    I’ll quote it here for you:

    Another important source for the present work is [SGA4], especially Section 9 of Expose I. In Sections 2.3 and 5.2 below, we will state the connections of the present work and [SGA4] in detail; here we mention the main points only.

    The expression “accessible category” is an adaptation of related terminology introduced in [SGA4], although our notion of accessible category is not named, in this or any other way, in [SGA4]. The notion “π\pi-accessible category” is not equivalent to our “π +\pi^+-accessible category”, it is strictly weaker than ours. On the other hand, the main result of the relevant part of [SGA4], Theorem 9.22 of Expose I, contains, in the form of a rather technical condition, an assumption of accessibility in our sense. This theorem is an important forerunner (in fact, an incomplete statement) of one of our main results, the Limit theorem (5.1.6).

    The crucial notion of accessible functor is the same as the one so named in [SGA4]: a functor (between accessible categories) is accessible if, for some cardinal κ\kappa, it preserves <κ\lt \kappa-filtered colimits. This notion is related to the notion of a functor with a rank; see [B] and [G/U]. Note that, for the purposes of Lair’s theorem, one does not need a notion of accessibility of functors, since the theorem talks about a single category at a time. In this paper however, our interest is in the connections between, and constructions upon, various accessible categories simultaneously; in [SGA4], we find a similar concern. Therefore, we are interested in the right category, in fact 2-category, of accessible categories. The 2-category 𝒜𝒸𝒸\mathcal{Acc} of accessible categories is introduced in the present work for the first time.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeAug 31st 2017

    Apologies if the nForum is not the place to debate history,

    It’s not frowned upon, but you are encouraged to add useful comments like the ones you make to the nnLab entry itself. The idea is that this way many more people will eventually see and appreciate it.

    (The nnForum is to the nnLab like the “talk” pages for Wikipedia. Eventually the goal of any discussion here and there ought to be to improve the relevant entry.)

    • CommentRowNumber10.
    • CommentAuthorHarry Gindi
    • CommentTimeAug 31st 2017

    @Urs I just included the part from Makkai-Pare (I edited my post above). The original idea comes from SGA4, but Makkai and Pare give the modern definition.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeAug 31st 2017

    Thanks! Why don’t you paste this into the entry, maybe in a “History” section?

    • CommentRowNumber12.
    • CommentAuthorHarry Gindi
    • CommentTimeAug 31st 2017
    • (edited Aug 31st 2017)

    @Urs Eh, I don’t think that whole thing belongs in the article. Probably if anyone cares, one would put something like “The idea of accessibility was first discussed in SGA4 Expose I, section 9, but the modern definition comes from Makkai-Pare blah blah blah”.

    If Dylan wants to add it or you do, be my guest. It doesn’t really bother me either way. The term accessible category is not due to Makkai-Pare, but the modern definition of it is due to them.

    • CommentRowNumber13.
    • CommentAuthorDylan Wilson
    • CommentTimeAug 31st 2017

    @Harry Excellent! I couldn’t get a hold of Makkai-Pare and made the silly mistake of trusting the Math Reviews list of references and Adameck-Rosicky’s introduction. Glad to know they address this! I will have to think a bit to see just how the definitions differ (I guess the way in which \pi-accessible objects ’generate’ is maybe different), but that’s okay.

    (As for attribution: SGA4 gives attribution next to each Expose. Grothendieck and Verdier (guess I forgot to mention Verdier) are listed next to Expose I. Artin’s name appears next to Expose’s IX-XVI, as you say.)

    @Urs Good to know- I didn’t want to edit the page because I was worried I was missing something. Turns out I was!

    Thanks again!

    • CommentRowNumber14.
    • CommentAuthorDylan Wilson
    • CommentTimeAug 31st 2017

    Oy vey- I was more tired than I thought! I forgot about “Artin” when searchning for SGA4 in references… and missed it in both Adameck-Rosicky and Makkai-Pare. So this was all a dumb mistake on my part, and I apologize for the wasted time… Adameck-Rosicky also make some historical remarks after introducing accessible categories. They give one sentence to SGA4, then say the definition was originally due Lair and independently Rosicky. Seems like this was a popular thing to define.

    Maybe we should just forget this whole thing… Sorry for the unjustified fuss!

    • CommentRowNumber15.
    • CommentAuthorzskoda
    • CommentTimeSep 1st 2017
    • (edited Sep 1st 2017)

    Adamek (in fact Adámek), not Adameck.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeSep 1st 2017

    Dylan, all the more, it shows that it would it be useful to add some such discussion of the history of the idea to the entry.

    • CommentRowNumber17.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 18th 2019

    Added remarks about well-copoweredness

    diff, v40, current

    • CommentRowNumber18.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 18th 2019

    Are all accessible categories well-powered? I didn’t see any remarks about this one way or the other on a quick skim through Adamek-Rosicky, but I could have missed it.

    • CommentRowNumber19.
    • CommentAuthorMarc
    • CommentTimeFeb 20th 2019

    It seems you already clarified this in the entry well-powered category

    • CommentRowNumber20.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 21st 2019

    No, I didn’t write anything about accessible categories being well-powered, only well-copowered (and I wrote the same thing at accessible category).

    • CommentRowNumber21.
    • CommentAuthorDylan Wilson
    • CommentTimeFeb 21st 2019
    • (edited Feb 21st 2019)
    Then should the last sentence in the third bullet of "Examples" in the entry "well-powered category" say "if all accessible categories are well-copowered then" instead of "are well-powered"?
    • CommentRowNumber22.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 21st 2019

    Yes, that was a typo, thanks. It was correct at accessible category; somehow I guess I fixed it in one place but not the other.

    • CommentRowNumber23.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 21st 2019

    Hmm, this paper claims that all accessible categories are well-powered and that it’s in Makkai-Paré. I guess I need to go back and look there again.

    • CommentRowNumber24.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 21st 2019

    Makkai–Paré Prop 6.1.3 is the claim that if an accessible category has pushouts then it is co-well-powered. There is no reference to “well-powered” in Makkai–Paré, but perhaps the result is not referred to in such terms. Searching for “subobject” doesn’t return anything useful either. Perhaps Barr got that from somewhere else?

    • CommentRowNumber25.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 21st 2019

    I couldn’t find it in Makkai-Paré either. Time to ask MO.

    • CommentRowNumber26.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 22nd 2019

    Added well-poweredness.

    diff, v42, current

    • CommentRowNumber27.
    • CommentAuthorMike Shulman
    • CommentTimeMar 22nd 2019

    Added some citations to recent papers about abstract elementary classes, many of which contain useful facts about general accessible categories.

    diff, v45, current

    • CommentRowNumber28.
    • CommentAuthorThomas Holder
    • CommentTimeMar 16th 2020

    Added John Bourke’s recent arXiv paper.

    By the way, somebody should attend to Emily’s query concerning the adjoint functor thm as stated in the entry.

    diff, v48, current

    • CommentRowNumber29.
    • CommentAuthorMike Shulman
    • CommentTimeMar 16th 2020

    Fixed statement of adjoint functor theorem, and removed query box.

    diff, v49, current

  1. There is something wrong with Proposition 3.8 (Categories of models over a theory): whether a geometric theory is of presheaf type or not is not determined by its category of models in Set, as explained at theory of presheaf type.

    Maybe the intended statement was that of Proposition 4.1 at theory of presheaf type? (Which characterizes finitely accessible categories, not theories of presheaf type.) But I was wondering if it might have been something else.
    • CommentRowNumber31.
    • CommentAuthorThomas Holder
    • CommentTimeJun 1st 2021
    • (edited Jun 1st 2021)

    Thanks for catching that! Seems to be a false statement starting out at theory of presheaf type ending here by copy-and-paste. I replaced it by other statements taken over from theory of presheaf type and sketch.

    diff, v52, current

    • CommentRowNumber32.
    • CommentAuthorzskoda
    • CommentTimeSep 27th 2022

    Enriched version

    • Francis Borceux, Carmen Quinteriro, Enriched accessible categories, Bull. Austral. Math. Soc. 54 (1996) 489–501 doi

    diff, v57, current

    • CommentRowNumber33.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2023

    added publication data to

    and pointer to

    diff, v62, current

    • CommentRowNumber34.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2023

    added (here) statement that AccCat has all PIE 2-limits, following discussion in another thread (here)

    For the enriched case I added pointer to (Thm. 5.5 in)

    diff, v62, current

    • CommentRowNumber35.
    • CommentAuthorvarkor
    • CommentTimeMay 3rd 2023

    Record the fact that V-AccCat also has pullbacks along isofibrations.

    diff, v63, current

    • CommentRowNumber36.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2023

    Thanks. I made that read “2-pullbacks along isofibrations”.

    diff, v64, current

    • CommentRowNumber37.
    • CommentAuthormattecapu
    • CommentTimeDec 3rd 2023

    recall definition of \kappa-compactness, normalized notation for categories

    diff, v69, current