Stack Exchange Network

Stack Exchange network consists of 175 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
9 views

Functor to represent directed acyclic graphs for (co)induction

The general theory of induction and coinduction is usually presented in terms of initial algebras and finial coalgebras for certain endofunctors (monads) on the category of sets. (See for example ...
2
votes
1answer
39 views

Proving the equivalence of different definitions for idempotent monads

Let $T \in C^C$ be a monad with multplication $\mu : T^2 \to T$ and unit $\eta : 1_C \to T$. I am trying to prove that the following definitions for an idempotent monad are equivalent, The arrows $(\...
0
votes
0answers
13 views

The polynomial monad and container for $\mathbb{C}\text{-}VEC$, the category of complex vector spaces

Let $\mathbb{C}\text{-}VEC$ be the category of complex vector spaces. Let $C$ be a category, $M$ a polynomial monad on $C$ and $FU$ an adjuction between $\mathbb{C}\text{-}VEC$ and $C$, which ...
1
vote
0answers
51 views

Toposes are monadic over categories

Lambek showed that Toposes are Monadic over categories. Can someone give the gist of this paper? I am assuming that the category of toposes is the eilenberg moore category for some monad on the ...
3
votes
1answer
77 views

Composition of monadic functors isn't monadic

Disclaimer: this question already has a solution here: Composition of monadic functors may not be monadic . However, I would like to understand how to solve this using another characterisation of ...
2
votes
0answers
41 views

The category of vector spaces over $\mathbb{R}$, Vect$_{\mathbb{R}}$, is equivalent to the category of $T$ algebras for some monad $T:$ Set $\to$ Set.

Prove that the category of vector spaces over $\mathbb{R}$, Vect$_{\mathbb{R}}$, is equivalent to the category of $T$ algebras for some monad $T:$ Set $\to$ Set. My attempt: First I know that ...
3
votes
1answer
29 views

What does the endofunctor/monad that sends a set to the set of finite words on the set do to morphisms?

Suppose we have a monad $T:Set \rightarrow Set$ that sends a set X to the set of finite words on the set X, with the unit and multiplication being inclusion and concatenation respectively. What does ...
1
vote
1answer
49 views

The category of $T$ algebras on Set is equivalent to the category of monoids

Let Set denote the category of sets. Let $T:$ Set $\to$ Set be the functor that sends a set $X$ to the set of finite words on $X$. That is, $TX = \{[x_m,..,x_1] : m = 0,1,2,3..., x_i \in X\}$ $T$ ...
0
votes
0answers
91 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
210 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
29 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
91 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}^{...
2
votes
1answer
34 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
84 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 ...
7
votes
1answer
134 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
50 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
51 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
29 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
86 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
65 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
54 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
33 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
27 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
12 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
53 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
50 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?
4
votes
0answers
116 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
67 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
142 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 ...
0
votes
0answers
38 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
56 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
138 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
89 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
115 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
88 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
51 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
39 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
140 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
62 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 ...
2
votes
1answer
206 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
111 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
101 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
98 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
47 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
83 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
113 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
71 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 ...