• holomorphic@lemmy.world
    link
    fedilink
    English
    arrow-up
    0
    ·
    8 months ago

    It may have nothing to do with categorization, but has everything to do with categorification which is much more interresting anyway.