• Christian@lemmy.ml
    link
    fedilink
    English
    arrow-up
    5
    ·
    20 hours ago

    That was my niche in grad school. I authored a paper proving that the CW-complexes in the category of small categories under the Joyal-Tierney model structure are exactly the groupoids. I never came up with a reason why anyone should care, but at least it was fun.