Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 2 of 2
I am feeling a bit silly about the following, as this is probably easy and I must be being dense, but I’ll throw this out as a question now anyway:
given an -functor between -groupoids, we get an induced pullback
for any -ring and the -category of --modules on .
This should be closed monoidal, I suppose. I can see a pseudo-proof, but I am a bit stuck with making it a rigorous proof. Can anyone help?
Ah, I realize that I am looking here exactly for the -version of Mike’s article
The context is example 2.2 there, with now the -category , and I am after the -analog of the consequence example 2.17 of theorem 2.14 there.
With a minimum of enriched -category theory all this should just go through verbatim…
1 to 2 of 2