The exterior-algebra tag has no usage guidance.

**7**

votes

**1**answer

879 views

### Exterior powers in tensor categories

Let $\mathcal{C}$ be a cocomplete $R$-linear tensor category. Many notions of commutative algebra can be internalized to $\mathcal{C}$. For example a commutative algebra is an object $A$ in ...

**23**

votes

**6**answers

3k views

### Is there a preferable convention for defining the wedge product?

There are different conventions for defininig the wedge product $\wedge$.
In Kobayashi-Nomizu, there is $\alpha\wedge\beta:=Alt(\alpha\otimes\beta)$,
in Spivak, we find ...

**20**

votes

**1**answer

1k views

### Analogy between the exterior power and the power set

The symmetric algebra of an object exists in every cocomplete $\otimes$-category. For the category of sets $\mathrm{Sym}(X)$ is the set of multi-subsets of $X$.
The usual definition of the exterior ...

**12**

votes

**2**answers

786 views

### Clifford PBW theorem for quadratic form

Update: now with a question 2 which is much more elementary (and should be well-known!).
Let $k$ be a commutative ring with $1$. Let $L$ be a $k$-module, and $g:L\to k$ be a quadratic form, i. e., a ...