The tag has no usage guidance.

learn more… | top users | synonyms

11
votes
2answers
555 views

Where is there a treatment of “exponential monads”?

I have a category $C$, which is equipped with a symmetric monoidal structure (tensor product $\otimes$, unit object $1$). My category also has finite coproducts (I'll write them using $\oplus$, and ...
6
votes
3answers
316 views

What kind of operations does the Tall-Wraith monoid encode?

According to the nLab page, for an algebraic theory V a Tall–Wraith V-monoid is "the kind of thing that acts on V-algebras". Well, it certainly does act on V-algebras, but in which sense is it "the ...
12
votes
3answers
1k views

How exactly is Hochschild homology a monad homology?

Many texts which praise the generality of the bar construction associated to a monad, say that Hochschild homology is an example of this. What exactly is in this case the underlying endofunctor of ...