This blog is a collection of reading notes of things that I try to learn. Often they are nothing more than summaries of various pages on the nLab, but collated, (over)simplified, and reordered to be more easily understood by, e.g., me. There will almost certainly be mistakes and bad viewpoints, so caveat lector.

  • Loop spaces, spectra, and operads (Part 2)

    [See part 1 here]

    In the previous post of this series I talked a bit about basic loop space stuff and how this gave birth to the idea of ‘homotopically-associative algebras’. I’m going to detour slightly from what I was going to delve into next and speak about delooping for a bit first. Then I’ll introduce spectra as sort of a generalisation of infinite deloopings. I’ll probably leave the stuff about $E_\infty$-algebras for another post, but will definitely at least mention about how it ties in to all this stuff.

    As a warning: I am far (oh so very far) from being an expert in this stuff, so it’s very possible that there are mistakes. If you spot any then please do give me a shout.

    Continue reading ⇾

  • Loop spaces, spectra, and operads (Part 1)

    [See part 2 here]

    I have been reading recently about spectra and their use in defining cohomology theories. Something that came up quite a lot was the idea of $E_\infty$-algebras, which I knew roughly corresponded to some commutative version of $A_\infty$-algebras, but beyond that I knew nothing. After some enlightening discussions with one of my supervisors, I feel like I’m starting to see how the ideas of spectra, $E_\infty$-algebras, and operads all fit together. In an attempt to solidify this understanding and pinpoint any difficulties, I’m going to try to write up what I ‘understand’ so far.

    Continue reading ⇾

  • Weighted limits, ends, and Day convolution (Part 1)

    This is the first in a series of notes that are basically summaries of various pages on the nLab, along with a few other sources. There is nothing original here, except any mistakes.

    A motto of category theory is that ‘Kan extensions are everywhere’. As a simplification of this, ‘(co)limits are in a lot of places’. By rephrasing the definition of a limit we end up with something that looks invitingly generalisable. This is how we can stumble across the idea of a weighted limit. In this post I’m going to assume that you are already convinced of the usefulness and omnipresence of limits and not talk too much (if at all) about why they are interesting in their own right.

    Continue reading ⇾

subscribe via RSS