• holomorphic@lemmy.world
    link
    fedilink
    English
    arrow-up
    3
    ·
    10 months ago

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