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
31 views

Toposes are monad 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
70 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
38 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
28 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
46 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
76 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
194 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
24 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
70 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
23 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
68 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
123 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
40 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
82 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
48 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
31 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
26 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
49 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
106 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
128 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
36 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
115 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
85 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
104 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
72 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
36 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
123 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
180 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
97 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
78 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
77 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
108 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
64 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
427 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
80 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$; • $η \...