The monads tag has no usage guidance.

**11**

votes

**0**answers

487 views

### Can we describe equivariant vector bundles of free group action in terms of descent theory (Barr-Beck theorem)?

It is well known that for a compact topological group $G$ acts (say, from the right) freely on a compact space $X$. Then the category of equivariant complex vector bundles on $X$, $\text{Vect}_G(X)$, ...

**8**

votes

**0**answers

177 views

### Whiskering a monad

In "The Geometry of Iterated Loop Spaces", May shows that any monad that is coming from an operad may be "whiskered", so that the unit map becomes a closed cofibration. The ability to do this is vital ...

**1**

vote

**0**answers

100 views

### group completion of topological monoid

Let $M$ be a topological monoid. The group completion of $M$ is defined as $\Omega BM$, where $BM$ is the classifying space of $M$.
In Lecture Notes in Math. 533, The homology of C n+1 spaces, n>=0, ...

**1**

vote

**0**answers

102 views

### Distributive law between Kleisli triples

A distributive law of a monad $S$ over a monad $T$ is a natural transformation $l : T S \to S T$ such that:
$l \circ T \eta^S = \eta^S T$
$l \circ \eta^T S = S \eta^T$
$\mu^S T \circ S l \circ l S = ...

**1**

vote

**0**answers

149 views

### Compatibility between strength and costrength of a monoidal monad

Let $C$ be a closed monoidal category, and let $T : C \to C$ be a monad on the underlying category. Let $\sigma$ be a tensorial strength of $T$ and let $\sigma'$ be a cotensorial strength of $T$. A ...

**1**

vote

**0**answers

330 views

### Cartesian-closed categories of algebras

If the Kleisli-category of a monad is Cartesian-closed, can we say when the category of Eilenberg-Moore algebras is?