Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: learning: questions

Topic: Double category of rings and the tangent category


view this post on Zulip David Corfield (Feb 16 2025 at 20:50):

Thinking of the double category, Ring\mathbb{R}ing, of rings, ring morphisms, bimodules and bimodule morphisms, I wonder if there's any connection to the fact that the [[tangent category]] (in one of the senses) to the category of (not necessarily commutative) rings at RR is the category of R-bimodules.

It's as though the tangent category has picked up on paths in the infinitesimal neighborhoods of the points. You could imagine the double category as expanding the tangent category to paths beyond the infinitesimal. Anything to this thought?

view this post on Zulip David Corfield (Feb 17 2025 at 07:30):

Interesting that when it comes to commutative rings we tend not to bother to say RR-bimodule. It's a similar phenomenon to the one @John Baez is explaining to me way back about how we don't usually bother to say GHG-H-birepresentation for two groups, since these are G×HG \times H-representations. Potentially misleading though.

It would be very interesting to get something to work here. After all, the fact that the tangent \infty-category of the \infty-topos of \infty-groupoids is parameterized spectra which still form an \infty-topos is what makes linear HoTT tick.

Can we spread out the linear dimension here?

view this post on Zulip John Baez (Feb 17 2025 at 07:42):

In some work I've done it was very dangerous to conflate RR-bimodules and left RR-modules even when RR is commutative, since every left RR-module of a commutative ring RR gives an RR-bimodule but there are other RR-bimodules not of this form.

view this post on Zulip David Corfield (Feb 17 2025 at 08:20):

I have a hunch that this from [[external tensor product]] is relevant to any linear HoTT angle:

Under suitable conditions on compact generation of Mod()Mod(-) then one may deduce that Mod(X1×X2)Mod(X_1 \times X_2) is generated under external product from Mod(X1)Mod(X_1) and Mod(X2)Mod(X_2).

This eternal product is a way to have a tensor product over all of parameterized vector bundles/spectra, and figures in Schreiber and Sati's Entanglement of Sections.

Vaguely, we don't typically open out the linear dimension in the form of double category as that may be generated anyway by the tangent spaces under this tensor. Or something like that.

view this post on Zulip David Corfield (Feb 17 2025 at 08:25):

Or is that more to do with determining the tangent space at a product form the respective tangent spaces?

view this post on Zulip David Corfield (Feb 17 2025 at 11:05):

The glimmer of an idea that launched these thoughts was that bunched logic could be better served thinking double category-theoretically. I see trees and colored palettes.

Any prospects for the double-categorical type theories, such as FVDblTT by @Hayato Nasu, to help here?

view this post on Zulip David Corfield (Feb 17 2025 at 16:08):

That's interesting. In @Mike Shulman's Framed bicategories and monoidal fibrations, he writes

There is a double category of parametrized spectra called Ex, whose construction is essentially contained in [MS06]... In [MS06] this structure is described only as a bicategory with ‘base change operations’, but it is pointed out there that existing categorical structures do not suffice to describe it. We will see in §14 how this sort of structure gives rise, quite generally, not only to a double category, but to a framed bicategory, which supplies the missing categorical structure.

And

The theory of framed bicategories was largely motivated by the desire to find a good categorical structure for the theory of parametrized spectra in [MS06]. The reader familiar with [MS06] should find the idea of a framed bicategory natural; it was realized clearly in [MS06] that existing categorical structures were inadequate to describe the combination of a bicategory with base change operations which arose naturally in that context.

[MS06] is

view this post on Zulip David Corfield (Feb 17 2025 at 16:14):

Something is going on here. Parameterized/parametrized spectra are at the heart of The Quantum Monadology.

view this post on Zulip David Corfield (Feb 18 2025 at 19:56):

One should add to the mix here:

which employs left-fibred double categories (LFDCs), as a unifying framework for both dependent and substructural type theories.

These are double categories with the property that their domain projection functor is a fibration, which we see also in @Matteo Capucci (he/him) and David Jaz Myers' Contextads paper.