Question

Proving comonad identities related to internal category

score 172 · Answer 1 · 2026-04-25 20:12:50

172

Views

Proving comonad identities related to internal category

Published on 25 Apr 2026 - 20:12

score 149 · Answer 2 · 2026-04-26 06:12:29

149

Views

Monad of possibly infinite lists

Published on 26 Apr 2026 - 6:12

score 99 · Answer 3 · 2026-05-10 16:32:06

99

Views

Operads and Kontsevich' polynomial functors

Published on 10 May 2026 - 16:32

score 32 · Answer 4 · 2026-04-09 15:11:16

32

Views

Convergence of analytic functors?

Published on 09 Apr 2026 - 15:11

score 22 · Answer 5 · 2026-03-25 19:02:59

22

Views

Transporting pseudo-monad structure along a pseudo-natural equivalence

Published on 25 Mar 2026 - 19:02

score 53 · Answer 6 · 2026-03-26 01:23:41

The Eilenberg-Moore cat of a monad is isomorphic to the presheaves on its Kreisli cat that restrict to representable functors (elementary proof?)

score 46 · Answer 7 · 2026-04-25 09:39:46

46

Views

Reflexive Tripleability Theorem in Riehl's Category Theory in Context

Published on 25 Apr 2026 - 9:39

score 53 · Answer 8 · 2026-04-27 09:23:34

53

Views

If $\mathsf{C}$ is a cocomplete category and $\mathsf{I}\to\mathsf{J}$ is a functor, when is $\mathsf{C}^\mathsf{J}\to\mathsf{C}^\mathsf{I}$ monadic?

Published on 27 Apr 2026 - 9:23

score 45 · Answer 9 · 2026-03-25 19:03:16

45

Views

Can a (co)monad composed with itself be a (co)monad again?

Published on 25 Mar 2026 - 19:03

score 34 · Answer 10 · 2026-03-25 20:35:15

34

Views

Proving that a monad $(D,\eta,\mu)$ induces a monad $(T,\lambda, \rho)$.

Published on 25 Mar 2026 - 20:35

score 90 · Answer 11 · 2026-03-25 22:10:01

90

Views

Is there a non-symmetric monoidal monad?

Published on 25 Mar 2026 - 22:10

score 126 · Answer 12 · 2026-03-25 19:00:42

126

Views

Algebraic Structures involving (absorbing element).

Published on 25 Mar 2026 - 19:00

score 101 · Answer 13 · 2026-03-25 19:03:17

101

Views

Topological insight on an algebraic theory.

Published on 25 Mar 2026 - 19:03

score 226 · Answer 14 · 2026-03-25 23:39:33

226

Views

Is there a "properly categorical" description of Eilenberg-Moore algebras on a relative monad?

Published on 25 Mar 2026 - 23:39

score 580 · Answer 15 · 2026-04-26 16:56:21

580

Views

What is the Eilenberg-Moore category of this diagonal-like monad?

Published on 26 Apr 2026 - 16:56

List Question

Proving comonad identities related to internal category

Monad of possibly infinite lists

Operads and Kontsevich' polynomial functors

Convergence of analytic functors?

Transporting pseudo-monad structure along a pseudo-natural equivalence

The Eilenberg-Moore cat of a monad is isomorphic to the presheaves on its Kreisli cat that restrict to representable functors (elementary proof?)

Reflexive Tripleability Theorem in Riehl's Category Theory in Context

If $\mathsf{C}$ is a cocomplete category and $\mathsf{I}\to\mathsf{J}$ is a functor, when is $\mathsf{C}^\mathsf{J}\to\mathsf{C}^\mathsf{I}$ monadic?

Can a (co)monad composed with itself be a (co)monad again?

Proving that a monad $(D,\eta,\mu)$ induces a monad $(T,\lambda, \rho)$.

Is there a non-symmetric monoidal monad?

Algebraic Structures involving (absorbing element).

Topological insight on an algebraic theory.

Is there a "properly categorical" description of Eilenberg-Moore algebras on a relative monad?

What is the Eilenberg-Moore category of this diagonal-like monad?

Trending Questions

Popular # Hahtags

Popular Questions