homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
Given a field $k$, the category of $k$-vector spaces $Vect_k$ is the category whose
objects are vector spaces,
morphisms are linear maps.
If the field $k$ is understood, one often just writes $Vect$.
Via direct sum and tensor product of vector spaces $\otimes_k$, this becomes a symmetric monoidal category in two compatible ways, making it a distributive monoidal category, in particular a rig category.
The study of $Vect$ is called linear algebra.
For any field $k$, the category $Vect_k$ is complete, cocomplete and closed monoidal with respect to the tensor product of vector spaces.
Assuming the axiom of choice (and essentially by the basis theorem):
In $Vect$ every short exact sequence splits.
On FinDimVect this is a categorification of the rank-nullity theorem.
The full subcategory of Vect consisting of finite-dimensional vector spaces may be denoted FinDimVect.
This is a compact closed category (see here).
$FinDimVect$ is where most of ordinary linear algebra lives, although much of it makes sense in all of $Vect$. See also at quantum information theory in terms of dagger-compact categories.
On the other hand, anything involving transposes or inner products really takes place in $Fin$ Hilb.
More generally, for $R$ any ring (not necessarily a field) then the analog of $Vect$ is the category $R$Mod of $R$-modules and module homomorphisms between them.
For $X$ a suitable space of sorts, there is the category Vect(X) of vector bundles over $X$. Specifically for $X$ a topological space, there is the category of topological vector bundles over $X$. For $X = \ast$ the point space, then this is equivalently the category of plain vector spaces:
There are various categories of topological vector spaces, for instance bornological topological vector spaces.
Last revised on May 1, 2024 at 04:03:35. See the history of this page for a list of all contributions to it.