So Dan Christensen, who used to be my supervisor while I was a postdoc at the University of Western Ontario, came to Lisbon last week and gave a talk about a topic I remember hearing about while I was… more →
Theoretical Atlaswrote 3 months ago: There are a couple interesting courses happening this Spring (2012) in the Boston area. Categorical … more →
wrote 3 months ago: This is my first blog post in a while. It will be different from my previous ones in that not much w … more →
wrote 3 months ago: The history of higher category theory has lead to a wealth of definitions, each built on differing i … more →
wrote 3 months ago: The homotopy category doesn’t have all colimits. I just learned a nice explicit example of thi … more →
wrote 7 months ago: The first time I occur vector bundles on spheres is when I learnt smooth manifolds. At that time, I … more →
wrote 8 months ago: Rick Jardine recently posted a draft on his webpage for a book on local homotopy theory. He writes: … more →
wrote 9 months ago: We know that there is a quite nature group structure in the set of homotopy classes of the loop spac … more →
wrote 11 months ago: So Dan Christensen, who used to be my supervisor while I was a postdoc at the University of Western … more →
wrote 1 year ago: The distinguishing feature of higher-dimensional type theory is the concept of equivalence of the me … more →
wrote 1 year ago: Ideas have their time, and it’s not for us to choose when they arrive. But when they do, they … more →
wrote 1 year ago: I’ve been taking the year-long algebraic topology sequence, which has been really great … more →
wrote 1 year ago: I’d like to continue describing the talks that made up the HGTQGR workshop, in particular the … more →
wrote 1 year ago: So, today I’m going to talk about Eilenberg-MacLane spaces. These are extremely important in a … more →
wrote 1 year ago: Now that we have some initial tools about CW complexes, it is time to prove one of the first really … more →
wrote 1 year ago: The increased rate of posting the past few days will probably taper off; we’ve just had a long … more →
wrote 1 year ago: This one will be a quick post. In effect, we continue with last time, where we defined the relative … more →
wrote 1 year ago: Note that I changed the theme again. I’ve been spending a lot of time on the basic definition … more →
wrote 1 year ago: Last time, we explained the idea of a cofibration in terms of a useful homotopy extension property. … more →
wrote 1 year ago: The idea of a cofibration will be fundamental as we talk further about homotopy theory, as will its … more →