Not signed in (Sign In)

# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Sign in using OpenID

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeNov 15th 2013
• (edited Nov 15th 2013)

I noticed by accident that we have an entry coinvariant. Then I noticed that we also have an entry homotopy coinvariant functor.

I have now added cross-links between these entries and with invariant and orbit, so that they no longer remain hidden.

I also edited the first case of group representation coinvariants at coinvariant a little.

• CommentRowNumber2.
• CommentAuthorDavid_Corfield
• CommentTimeNov 15th 2013
• (edited Nov 15th 2013)

Is there a HoTT formulation as for invariants?

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeNov 15th 2013

So the coinvariant should just be the dependent sum, where the invariants is the dependent poduct.

In this sense: for $G$ a group object, types $V$ with $G$-action $\rho_V$ are $\mathbf{B}G$-dependent types.

The homotopy invariants are $\underset{\mathbf{B}G}{\prod} \rho_V \simeq H_{Grp}(G,V)$.

The homotopy co-invariants are $\underset{\mathbf{B}G}{\sum} \rho_V \simeq V//G$.

Add your comments
• Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
• To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

• (Help)