Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [monads]

A monad is a functor from a category to itself together with two natural transformations, commonly called μ (the "multiplication") and η (the "unit"), satisfying conditions that make μ monoidal and η an identity for it.

0
votes
0answers
54 views

What is an algebra over a monad?

The category of algebras over a monad (also: “modules over a monad”) is traditionally called its Eilenberg–Moore category (EM) In that context What exactly does the word "Algebra" mean? What ...
6
votes
1answer
176 views

Algebras of the powerset monad

Many authors treat algrebras of the powerset monad as a trivial example. It is really not trivial to me. Can anyone help me with a detailed construction of such algebras. If you know of any article ...
0
votes
0answers
17 views

Multiset-Span monad

I have been thinking about multisets for a while. These are sets where elements can repeat, so $S =\{ a,a,b,c,b\}$ is a multiset on the set $A = \{a,b,c\}$. It is well known that there is a Monad on ...
1
vote
2answers
58 views

The Powerset Monad

I am struggling to prove commutativity of the diagrams for the powerset monad in Category $\mathbb{Set}$. To show that $\mu:\mathcal{P}^{2}\longrightarrow \mathcal{P}$ given by $\mu_{X}:\mathcal{P}^{...
1
vote
1answer
19 views

Is the algebra map of the ultrafilter monad continuous?

Let $\beta$ be the ultrafilter functor from Sets to Sets, which sends a set $X$ to the set of all ultrafilters on the powerset of $\mathcal{P}(X)$ equipped with its Boolean algebra structure. Then $\...
0
votes
0answers
54 views

Elements of the Monoid in the category of endofunctors

Quoting from Categories for the Working Mathematician by Saunders Mac Lane: All told, a monad in X is just a monoid in the category of endofunctors of X, with product × replaced by composition of ...
6
votes
1answer
102 views

Monoid in the category of endofunctors and Monoid as a category with one object

Quoting from Categories for the Working Mathematician by Saunders Mac Lane: All told, a monad in X is just a monoid in the category of endofunctors of X, with product × replaced by composition of ...
2
votes
0answers
49 views

Origin of η and μ as names for monad natural transformations

I swear I once stumbled across a page explaining the origin of η and μ in the context of monads. Or at the very least, an easy way to remember which is which. But I can't find it. Is there a historic ...
1
vote
1answer
30 views

Is the finite multiset monad a finitary monad?

Here is the definition of finitary monad. The finite multiset monad has a functor that maps the category of sets to itself. It does this by taking a set to the set of all finite multisets on that ...
1
vote
0answers
27 views

Is “initial Partial Fragment” of Lists a Comonad?

Lists can be captured as Monads, where the product axiom is given as concatenation. Given a list $l = Concat(l_1, l_2)$, where $Concat$ is the concatenation of two lists, we say that $l_1$ is an ...
1
vote
1answer
76 views

Construction of a monad from an operad is in the CGWH category

If $\mathcal{C}$ is an operad and if $X\in\mathcal{J}$ then $CX\in\mathcal{J}$, where $\mathcal{J}$ is the category of compactly generated weakly Hausdorff spaces well-based. I'm studying the ...
0
votes
1answer
64 views

Monad and identity element

There are 2 natural transformation are introduced in the monad definition: $$ \mu: T^2 \to T $$ $$ \eta: I \to T $$ The following conditions have to be satisfied: $$ \mu \circ \mu T = \mu \circ T \mu$...
3
votes
0answers
44 views

Interpretation of the product axiom for the Giry Monad

The product axiom for the Giry monad is given as follows: $$ \mu_{X}: P(P(X)) \to P(X) $$ given by $$ \mu_X (M)(A) := \int_{P(X)} \tau(A) M(d\tau). \,. $$ $P(X)$ is equipped with the weakest ...
4
votes
0answers
29 views

Which functors between varieties of algebras are monadic?

I was wondering if there's any known result which classifies which functors $F : \mathcal{B} \to \mathcal{C}$, where $\mathcal{B}$ and $\mathcal{C}$ are both varieties of algebras, are monadic. I ...
1
vote
0answers
24 views

The $\mathbb{C}$ vector space monad on the 2-Category of Groupoids

In this post, I am asking about the existence of something called the "Vector Space Monad" on the 2-Category of groupoids (Grpd). In a comment, it was pointed out that the monad should exist due to ...
1
vote
0answers
11 views

Proof verification: Group of units functor is not monadic

I've been fairly confused about this question (which isn't homework or anything, just something I was wondering about for myself), and coming up with different answers: Let $U : \mathbf{Rings} \to \...
3
votes
0answers
49 views

Categories in which every monomorphism is regular / effectivie?

I'm interested in conditions on a category of modules of a monad on a topos satisfies the property that Every monomorphism is the equalizer of its cokernel pair. Every topos itself satisfies this ...
2
votes
0answers
48 views

Transformation from the List monad to the Bag monad on the 2-Category of Groupoids

Kock has shown that the Bag monad and the List monad are polynomial on the 2-Category of Groupoids. He even suggests there is a transformation between them (I think, in section 3.10 Examples) going ...
3
votes
0answers
30 views

What are the special properties of adjunctions that generate polynomial monads

The subject of polynomial monads is well trodden. We know that every monad is generated by an adjunction. What are the special properties of any adjunction that generates a polynomial monad?
3
votes
0answers
102 views

Morita theory for algebras for a monad $T$

There are convincing arguments that support the claim that universal algebra is essentially the theory of $\lambda$-accessible monads $T$ over Set. Now, given two equivalent categories of algebras ...
0
votes
0answers
66 views

A pattern of adjointness proof

Let $\mathbf{Fcd}$ and $\mathbf{Top}$ be categories (the latter's objects are topological spaces but this doesn't matter for the question). The objects of $\mathbf{Fcd}$ are called endofuncoids (what ...
2
votes
0answers
104 views

Examples of monads

Recently, as a final degree project, I have been studying basic category theory. My tutor is very experienced in monads and so I am studying them. I have been researching some curious examples (the ...
-1
votes
0answers
35 views

Examples of generalisations in which $k$-ring might be, for example, a monad ? What are $\textit{scalars}$, really?

I reflect on scalar nature so my question is very simple: what are $\textit{scalars}$, really ? I read about ground ring There are also generalisations in which k might be, for example, a monad. ...
1
vote
0answers
52 views

Understanding the monadicity of groupoids over splittings

In the paper The shift functor and the comprehensive factorization for internal groupoids by Bourn, the author proves that for a fixed finitely complete category, the category of internal groupoids is ...
1
vote
1answer
80 views

Composition of monadic functors may not be monadic

Let $U\colon \textbf{AbGp}\longrightarrow \textbf{Set}$ be the forgetful functor. By the Crude Monadicity Theorem, it is monadic. Any reflection is monadic, so $I \colon \textbf{tfAbGp}\...
2
votes
1answer
75 views

How can we define the stream monad and what is it's category of algebras?

Streams are infinite lists. Lists can be modeled as monads. So can Streams. Here is a definition of the Stream monad: $F(A) = A^{\mathbb{N}}$ All functions for $\mathbb{N}$ to A. $\mathbb{N}$ ...
0
votes
2answers
89 views

The comparison functor for the adjoint $F\dashv G$ with $G$ fully faithful is an equivalence

Let $\mathcal{D} \underset{G}{\overset{F}{\leftrightarrows}}\mathcal{C}$ with $F\dashv G$ and $G$ fully faithful. Write $T=GF$. $\epsilon$ denotes the counit of the adjunction. The comparison functor $...
1
vote
1answer
61 views

Forgetful functor from category of directed graphs is monadic.

I am trying to prove that the forgetful functor $U\colon \textbf{DGph}\longrightarrow \textbf{Set}$ is monadic. The strategy for that is to show that $\textbf{DGph}$ is equivalent to the category of $...
1
vote
0answers
50 views

Computing a factorization of a monad

Given a monad, $(M, \mu, \eta)$, where $M: C \rightarrow C$ for some category $C$, there is a category of factorizations, $F\cdot G = M$ where $F: X \rightarrow C$, $G: C \rightarrow X$. Though this ...
1
vote
0answers
35 views

What is the string diagram for the Bimonad law

We have string diagrams that succinctly describe the Frobenius law. Is there a string diagram that describes the Bimonad law? Bimonads are (co)monads that have a mixed distributive law. They were ...
1
vote
1answer
46 views

the List-Permutation (C0)Monad

I want to define the List-Permuation (co)monad as follows: $List-Perm = (L, \mu, \eta, \nu, \zeta)$. $$L:Set \rightarrow Set$$ such that, L returns the set of Lists of a given set. $$\mu : L \cdot ...
1
vote
1answer
107 views

A few questions about continuations and the continuation monad

In Philip Wadler's "Monads and composable continuations" (published in Lisp and Symbolic Computation, 1994, doi.org/10.1007/BF01019944) the following continuation monad is defined: $type \hspace{0....
0
votes
1answer
59 views

Some simple operators in the Lambda calculus and their interpretation

In Phillip Wadler's "Monads and composable continuations" (published in Lisp and Symbolic Computation, 1994, doi.org/10.1007/BF01019944) the following rules (amongst others) are listed as being part ...
1
vote
1answer
150 views

Continuation-passing style and the lambda calculus

I am looking for an example of continuation passing style which does not involve any examples from programming languages; in particular, an example which involves a reduction sequence from the lambda ...
1
vote
0answers
108 views

Algebraic properties of enumeration [closed]

An enumeration of a set $A$ is (or can be seen as) a bijection $$ enum : [\alpha] \rightarrow A $$ from an ordinal $\alpha$ to $A$ itself. I'm interested in countable enumertation, i.e. $\alpha$ ...
4
votes
2answers
89 views

Permutation monad

Given a set $S$, say $S= \{a,b\}$, the set of permuations of $S$ is $\{[a,b],[b,a]\}$ (these are supposed to be lists like $ab$ and $ba$). Can we define a monad that captures this? This monad would ...
2
votes
1answer
75 views

free commutative monoid monad

I would like to see a full definition of the free commutative monoid monad. Here is what I have so far. We define it with these parts $FCMonoidMonad = (CM, \mu, \eta)$. $$ CM : Set \rightarrow Set$$...
2
votes
1answer
44 views

Description of the 2-monads for (strict) monoidal categories

The nLab article on 2-monads says: For example, ordinary (non-strict) monoidal categories are the strict algebras for a strict 2-monad $T_{MC}$ on $Cat$, but usually we care about pseudo, lax, and ...
0
votes
2answers
72 views

Difficulty understanding natural transformation notation

I'm trying to fully understand the conditions for a monad as they are written in category theory. Left and right identity are expressed as follows: $$\mu \circ \eta T = \mu \circ T \eta = id_T$$ ...
1
vote
0answers
42 views

Monad/comonad that preserves equalizers

Can someone give a nontrivial example of an endofunctor on Set that is both a Monad and a comonad and also preserves equalizers? It would be great if you could show that there is a mixed distributive ...
4
votes
0answers
103 views

Monads, monoidal categories

I'm interested in learning about monads and their relations to algebraic structures (as a generalization of universal algebra, if I understand well -correct me if not) . In the process of learning ...
3
votes
1answer
59 views

2-monad and 2-operad of monoidal categories, explicit construction

It is well-known that monoids are algebras for the free monoid monad, and can be seen as well as algebras for the associative operad. Less known is the categorified statement: for example, monoidal ...
0
votes
1answer
74 views

Different definitions of monad, again.

In Moggi, Eugenio, Computational lambda-calculus and monads (1989): page 2. A monad over a category $\textbf{C}$ is defined as a triple, $(T, η, µ)$, consisting of the natural transformations $T: \...
14
votes
1answer
422 views

Continuations in mathematics: nice examples?

I wondered whether continuations, used in computer science, occur as natural and interesting mathematical structures, perhaps as algebraic (in the theory of monoids?), model-theoretic or type ...
1
vote
1answer
77 views

Different definitions of monad

A monad is usually defined (for example http://www.cs.cornell.edu/courses/cs6110/2011sp/lectures/lecture37.pdf) as a triple $(F, η, µ)$ where • $F : C → C$ is an endofunctor on a category $C$; • $η \...
2
votes
1answer
326 views

Composition of a monad with itself.

Is there any reason (counterexample) why the composition of a monad with itself should not be a monad again? It appears to me that the distributive law is in this case just the identity (on the ...
9
votes
1answer
202 views

When is the Kleisli category equivalent to the Eilenberg-Moore?

We know that, for any monad $T$, the Kleisli category $\mathcal{C}_T$ embeds into the Eilenberg-Moore category of $T$-algebras $\mathcal{C}^T$ as the full subcategory of free $T$-algebras. In the case ...
6
votes
4answers
405 views

What's the multiplication in the continuation monad?

Given a set $S$, we get an endofunctor $X \mapsto [[X,S],S]$ on $\mathbf{Set}$. This is called the continuation monad for $S$, so I guess that means it's a monad. There's a natural map $$\eta_X : X \...
1
vote
0answers
66 views

Reference request: the category of adjunctions between posets as categories that induce a partiuclar monad

I am interested in the category $A$ of adjunctions that induce a monad $c : C \to C$ where $C$ is a poset. (The description of $A$ is in a previous math.se post.) For a general $C$, of course, $A$ ...
2
votes
1answer
126 views

Conceptual explanation of preservation and reflection of certain coequalizers in Beck's monadicity theorem

Let $F\dashv U$ and let $\mathbb T=(T,\eta,U\varepsilon F)$ be the induced monad on $\mathsf C$. The proof of Beck's monadicity theorem revolves around coequalizers of pairs $$FUFA\substack{Fa\\ \...