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 accessible adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology combinatorics comma complex complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity 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 infinity integration-theory k-theory lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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 topological 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.
    • CommentAuthorTim_Porter
    • CommentTimeOct 9th 2017

    I have added a brief paragraph to the entry Myles Tierney. Can others please check (especially Todd, of course) if we want to add more? Myles was a leading category theorist and will be missed.

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 9th 2017

    Probably some idea of what he and Joyal collaborated on (over decades) would be nice to include at some point. I don’t feel very qualified to write on this myself.

    During the topos years, he was one of or maybe the first to treat set-theoretic forcing in topos-theoretic terms, and he had much to do with clarifying the notion of classifying topos (as in the 1976 volume, I think conference proceedings, dedicated to Eilenberg).

    • CommentRowNumber3.
    • CommentAuthorTim_Porter
    • CommentTimeOct 9th 2017
    • (edited Oct 9th 2017)

    it would be good to have a list of his main papers as well. I will start this, but please everyone if you see a paper that to you is important do add it. We might try doing a similar list for Fred Linton and others we have lost in the last few years. Not an exhaustive list but those papers of use to the themes of the Lab.

    (Edit: I have added some of the titles of his papers which occur in n-Lab pages. I am not sure whether or not doing a list of the main pages concerned is worthwhile as searching on his name will give all such plus lots more.)

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 9th 2017
    • (edited Oct 9th 2017)

    I forgot to mention the wonderful monograph by him and Joyal, An Extension of the Galois Theory of Grothendieck. I don’t think this is as well known as it should be. (Edit: but I see it’s now in the references – thanks, Tim).

    • CommentRowNumber5.
    • CommentAuthorTim_Porter
    • CommentTimeOct 9th 2017

    That is a wonderful source of a lot of good mathematics, and I agree it should be better known.

    • CommentRowNumber6.
    • CommentAuthorTim_Porter
    • CommentTimeOct 11th 2017

    I notice that the accents are not working on this page on Myles Tierney, but they were a day of two ago.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeOct 11th 2017

    This and other things broke while Adeel is fiddling with the installation here.

    • CommentRowNumber8.
    • CommentAuthorTim_Porter
    • CommentTimeOct 11th 2017

    Everything looks fine now, so thanks Adeel.