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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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.
    • CommentAuthorvarkor
    • CommentTimeMay 20th 2023

    Created a stub for the conference.

    v1, current

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 20th 2023

    Is the word “internal” at the top of the page a slip for “international”?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMay 20th 2023

    fixed that word and removed some redundancy bloating the entry columns.

    I vote for deleting that unnecessary link to Wikipedia.

    diff, v2, current

    • CommentRowNumber4.
    • CommentAuthorvarkor
    • CommentTimeMay 20th 2023

    I should really have reread what I wrote, but I was in a bit of a rush. I’ve removed the Wikipedia link.

    • CommentRowNumber5.
    • CommentAuthorvarkor
    • CommentTimeMay 20th 2023

    Added a column for talk abstracts.

    diff, v3, current

    • CommentRowNumber6.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 20th 2023
    • (edited May 20th 2023)

    One can reconstruct a bunch of old locations from lists of peoples’ old talks, eg https://www.mathstat.dal.ca/~pare/Conferences.html, with Bangor, Como, and Isle of Thorns as famous ones I recognise from around 1990.

    Edit: There’s also https://www.mta.ca/~cat-dist/#conference which might fill in some gaps

    • CommentRowNumber7.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 21st 2023

    Added locations for years 1989–1992

    diff, v4, current

    • CommentRowNumber8.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 22nd 2023

    Bob Paré’s talk page seems to give the 1982, 1984, 1987 locations, the categories mailing list page (on mta.ca) doesn’t really give anything useful after all…

    I wonder if the 1965 La Jolla conference could be put all the way down the bottom? ;-)

    • CommentRowNumber9.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 22nd 2023

    Aha, here’s a list http://www-lmpa.univ-littoral.fr/CT08/

    Carvoeiro (2007), White Point (2006), Vancouver (2004), Como (2000), Coimbra (1999), Vancouver (1997), Halifax (1995), Tours (1994), Isle of Thorns (1992), Montreal (1991) and Como (1990).

    • CommentRowNumber10.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 22nd 2023

    Website and abstract list for CT04

    diff, v5, current

    • CommentRowNumber11.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 22nd 2023

    For later inclusion: CT06 has talk titles and (some) slides. CT08 has titles and some slides.

    • CommentRowNumber12.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 22nd 2023

    Abstracts page for CT99

    diff, v5, current

    • CommentRowNumber13.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 22nd 2023

    We should also include the proceedings volumes, eg in TAC or SLNM or etc

    • CommentRowNumber14.
    • CommentAuthorvarkor
    • CommentTimeMay 22nd 2023

    Presumably there are some older mathematicians who would be able to give a complete list of the locations of the conferences (including which year the first Category Theory conference took place), but I have not tried asking anyone yet.

    • CommentRowNumber15.
    • CommentAuthorTim_Porter
    • CommentTimeMay 22nd 2023
    • (edited May 22nd 2023)

    The proceedings of the Bangor 1989 conference were published in the Cahiers, explicitly I noted in a listing of my publications:

    Cahiers de Topologie et G ́eom. Diff. cat., 32, 1991, first two and a half issues.

    I do not have ready access to a copy to see if there were lists of talks, abstracts etc included.

    • CommentRowNumber16.
    • CommentAuthorBryceClarke
    • CommentTimeMay 22nd 2023

    Re: 15

    Volume 32 of Cahiers is available online here. An informative note by R. Brown is available here.

  1. Added a link to the “Séminaire Itinérant des Catégories”, which is kind of a French-Belgian PSSL. Feel free to remove, if not appropriate.

    isar stubbe

    diff, v6, current

    • CommentRowNumber18.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 23rd 2023

    Locations for 1994 (Tours) and 1987 (Louvain-la-Neuve)

    diff, v7, current

    • CommentRowNumber19.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 23rd 2023

    It seems we have (from Bob Paré’s wesbite)

    • 1982 (July), Isle of Thorns (England)

    • 1984 (July), Murten (Switzerland)

    and from Bourn’s publication list:

    • Category theory (Gummersbach, 1981)
    • CommentRowNumber20.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 23rd 2023
    • (edited May 23rd 2023)

    And maybe

    • Category theory, homology theory and their applications (Battelle Memorial Institute, Seattle, WA, 24 June–19 July 1968)

    • Third colloquium on categories (Amiens, France, 8–July 1980),

    • CommentRowNumber21.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 24th 2023

    Peter Johnstone sent me a list of CT conferences (and their locations) dating back decades, together with the specific dates! I’m waiting to hear back to see if I can put this straight on the nLab, or if he’d prefer I’d just extract some info from it.

    • CommentRowNumber22.
    • CommentAuthorTim_Porter
    • CommentTimeMay 24th 2023

    This may be useful.

    I cannot recall if the proceedings of Murten were published.

    • CommentRowNumber23.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 25th 2023

    Thanks, Tim. I should add another column that has links to proceedings volumes.

    • CommentRowNumber24.
    • CommentAuthorBryceClarke
    • CommentTimeMay 31st 2023

    Re 21:

    @DavidRoberts Did you end up hearing back from Peter Johnstone about adding this information to the nLab?

    • CommentRowNumber25.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 1st 2023

    @Bryce

    Yes! We can upload his pdf, and fill in the table as well, using it

    • CommentRowNumber26.
    • CommentAuthorBryceClarke
    • CommentTimeJun 2nd 2023

    There is the following reference which can be added when a proceedings column is added:

    • R.A.G. Seely (editor), Category Theory 1991: Proceedings of the 1991 Summer Category Theory Meeting, Montreal, Canada, Conference Proceedings, Canadian Mathematical Society, Vol. 13, 1992, 447 pp. bookstore

    Frustratingly, I tried very hard to find a DOI, and the best I could find was the AMS bookstore link.

    • CommentRowNumber27.
    • CommentAuthorBryceClarke
    • CommentTimeJun 2nd 2023
    • (edited Jun 2nd 2023)

    Re 26:

    It appears the work doesn’t exist as a PDF online, but a table of contents could probably be extracted from Google Books (?).

    As an aside, I found this amusing review of the volume:

    It is good to know that category theory is alive and well after all these years. We were turned off to category theory by the excesses of the sixties, when a small but loud crowd pretended to reduce all of mathematics to the language of categories. Now at least they have toned down their claims, and category theory has taken its modest place in the mathematical spectrum side by side with lattice theory, more pretentious perhaps than the latter, but with a good pedigree. We wish there were two versions of each of the papers presented at this conference: one for the specialist, as one finds it in this book, and one for the would-be specialist, who needs some direction and encouragement before he or she swallows this morass of definitions.

    • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeJun 3rd 2023

    That seems like a great quote to include on the page! (Seriously.)

    The other reviews in the pdf page behind the link are similarly entertaining.

    About a book on combinatorics it has to say:

    A specialized collection of specialized papers, stricly for specialists, in one of the most specialized specialities of that most special of all subjects

    • CommentRowNumber29.
    • CommentAuthorBryceClarke
    • CommentTimeJun 3rd 2023

    Added Gian-Carlo Rota quote, and a few other references, including the proceedings volumes published in TAC.

    diff, v8, current

    • CommentRowNumber30.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 3rd 2023

    I would have this one question for Rota: who is “we”?

    • CommentRowNumber31.
    • CommentAuthorUrs
    • CommentTimeJun 3rd 2023

    Oh, so you buy the assumption that there was “pretention to reduce all of mathematics to the language of categories” and are just wondering who was turned off by this? :-)

    • CommentRowNumber32.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 3rd 2023

    Well, “everyone” says it’s true, so it must be true.

    The whole bit is hideously smug, except for the last sentence (though again there’s this “we”), which I find understandable.

    • CommentRowNumber33.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 3rd 2023

    I find it amusing that Rota talks about lattice theory with equal weight as category theory. I know lattice theory was highly regarded at some point, but I don’t know if this import is still placed on it today.

    • CommentRowNumber34.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 4th 2023

    David: I’m not sure you know this, but Rota did research in and was pretty heavily invested in lattice theory, and was given to pronouncements like “”Never in the history of mathematics has a mathematical theory been the object of such vociferous vituperation as lattice theory.” An exaggeration of a type for which he is renowned. There’s a certain amount of defensiveness about lattice theory sprinkled throughout Indiscrete Thoughts.

    • CommentRowNumber35.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 4th 2023

    @Todd

    Yes, I vaguely thought that was the case.

    • CommentRowNumber36.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 5th 2023

    I’ve emailed Bryce the pdf document from Johnstone, as well as some other comments people have sent me privately about a little of the history esp. of the meta-level of the why’s of when conferences did not happen.

    • CommentRowNumber37.
    • CommentAuthorBryceClarke
    • CommentTimeJun 9th 2023

    Would someone be able to tell me how to upload a PDF to the nlab? Then I can upload the document from Johnstone on the history of CT (this will be quicker than inputing the information manually for the time-being).

    • CommentRowNumber38.
    • CommentAuthorvarkor
    • CommentTimeJun 9th 2023

    @BryceClarke: there are instructions here.

    • CommentRowNumber39.
    • CommentAuthorBryceClarke
    • CommentTimeJun 9th 2023
    • (edited Jun 9th 2023)

    Added PDF list of conferences by sent by Peter Johnstone to David Roberts following an inquiry on the categories mailing list on 23 May 2023.

    The list appears to be quite comprehensive, but I imagine it will still take some work to format it for the table on the nLab page.

    diff, v9, current

    • CommentRowNumber40.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 17th 2023

    Added references:

    • {#CT90} Aurelio Carboni, Maria Cristina Pedicchio, Guiseppe Rosolini (Eds), Category Theory: Proceedings of the International Conference held in Como, Italy, July 22-28, 1990, Lecture Notes in Mathematics 1488 (1991) Springer–Verlag, doi:10.1007/BFb0084207

    • {#CT91} R.A.G. Seely (Ed), Category Theory 1991: Proceedings of the 1991 Summer Category Theory Meeting, Montreal, Canada, Conference Proceedings, Canadian Mathematical Society 13 (1992) American Mathematical Society/Canadian Mathematical Society AMS bookstore.

    diff, v11, current

    • CommentRowNumber41.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 17th 2023

    Added reference

    and missing anchors to proceedings, in the form {#CTyy}

    diff, v11, current

    • CommentRowNumber42.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 21st 2023

    Added link for abstracts for CT2023

    diff, v12, current

    • CommentRowNumber43.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 21st 2023

    Added CT99 proceedings:

    • {#CT99} J. Adamek, P.T. Johnstone and M. Sobral (Eds), Category Theory 1999: selected papers, conference held in Coimbra in honour of the 90th birthday of Saunders Mac Lane, Journal of Pure and Applied Algebra 168 Issues 2–3 (2002) journal

    For later inclusion: Category Theory and its Applications (Lawvere Festschrift) https://www.sciencedirect.com/journal/journal-of-pure-and-applied-algebra/vol/154/issue/1?

    diff, v13, current

    • CommentRowNumber44.
    • CommentAuthorvarkor
    • CommentTimeAug 11th 2023

    Added a YouTube playlist of talks from CT2023. So far only one talk has been added to the playlist, but they were recording most of the talks, so hopefully they will be added before too long.

    diff, v14, current

    • CommentRowNumber45.
    • CommentAuthorBryceClarke
    • CommentTimeAug 16th 2023

    Added some more locations based on an email from Michael Johnson. He should also be sending me a scan of the front matter from Proceedings of the 1991 Summer Category Theory Meeting.

    diff, v15, current

    • CommentRowNumber46.
    • CommentAuthorBryceClarke
    • CommentTimeAug 16th 2023

    To provide more context for comment 45, here is an (abridged) version of the email I received from Michael Johnson (I’m not sure if there is space in the nLab page to include any of this additional context):

    • 1985 was Isle of Thorns (Sussex).
    • 1986 was in Cambridge.
    • In 1988 instead of a CT (not yet called that anyway), there was a Categorical Topology meeting in Prague.
    • In 1993 there was a meeting at MSRI in Berkeley instead of a CT. It was joint with Universal Algebraists.
    • In 1996 I recall that there was another Sussex meeting, and incidentally I put on the first Applied and Computational Category Theory meeting in Linz.
    • In 1998 I’m pretty sure that there wasn’t a meeting.
    • I don’t think that there was a meeting in 2001.
    • In 2002 there was a meeting at the Fields Institute instead.
    • In 2005 we held the “Streetfest” at Macquarie instead of a normal CT.
    • In 2012 I’m pretty sure there wasn’t a CT, but there was a Coimbra meeting in honour of George Janelidze.
    • CommentRowNumber47.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 17th 2023
    • (edited Aug 17th 2023)

    @Bryce #45

    Oh, I have that book. If he doesn’t get it to you, I can supply.

    • CommentRowNumber48.
    • CommentAuthorBryceClarke
    • CommentTimeAug 17th 2023

    Uploaded PDF scan of Category Theory 1991 front matter.

    diff, v16, current

    • CommentRowNumber49.
    • CommentAuthorvarkor
    • CommentTimeSep 5th 2023

    Added link to Oberwolfach.

    diff, v18, current

    • CommentRowNumber50.
    • CommentAuthorvarkor
    • CommentTimeJul 6th 2024

    Added information for 2024.

    diff, v22, current

  2. typo on Giuseppe

    diff, v24, current