John Carlos Baez on Nostr: nprofile1q…zgt5c - if we start with the category of chain complexes of ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqu9k7qvxzg5fk3cd3zqnqxu4czmrvjnn8zdrspqcgwcrnmz3rwwgsqzgt5c (nprofile…gt5c) - if we start with the category of chain complexes of quasicoherent sheaves we can form the derived category of quasicoherent sheaves, which should be a 2-rig (since you can tensor them), but it should be even more informative to work with that category itself as a 'differential graded 2-rig'.

I have not been digging into these richer structures: my work with Todd Trimble and nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqg7fn68fh5vawe2hz2kapwj0239kyry436yxelspeq4wtjy72cfnqjemhka (nprofile…mhka) focuses mainly on 2-rigs per se, with my favorite examples being categories of group representations, categories of vector bundles, and the free 2-rig on one generator, whose Grothendieck ring is called the ring of symmetric functions.