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.
Searching “FinVect” returns 22 pages, and often the term is not a link so is not automatically redirected. Maybe you can add a remark to the effect that FinDimVect and FinVect are the same.
Okay, I have fixed all occurrences of “FinVect” to “FinDimVect” that I could find, and added hyperlinks where missing.
This was long overdue. And eventually we ought to have an entry on finite vector spaces.
Thanks! Changed one occurence that escaped at Tannaka duality, and there is one sFinVect at modular functor I’m not sure about.
As an aside, nLab-wide page search works much better than in older times.
Thanks. At modular functor we need the stack of (super)-vector bundles. This is usually known just as “$Vect$” so I made it read “$sVect$” and added in prose the clause that the bundles have finite rank.
Regarding the search: I suppose over time the search engines improve their records of the nLab.
started a “Properties”-section here
with one subsection “Splitting lemma” (here) briefly recalling that SESs in $FinDimVect$ split, and how;
and then with a section “Fiber (co)products” (here) with a discussion of products and coproducts in slices of $FinDimVect$, and observing that the resulting internal logic is BvN quantum logic.
1 to 6 of 6