Question

Applications of Monadicity theorems

score 550 · Answer 1 · 2017-03-22 23:24:30

550

Views

Applications of Monadicity theorems

Published on 22 Mar 2017 - 23:24

score 348 · Answer 2 · 2017-03-27 18:29:13

348

Views

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

Published on 27 Mar 2017 - 18:29

score 88 · Answer 3 · 2026-03-25 06:57:44

88

Views

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

Published on 25 Mar 2026 - 6:57

score 545 · Answer 4 · 2017-04-08 15:53:09

545

Views

What's the multiplication in the continuation monad?

Published on 08 Apr 2017 - 15:53

score 74 · Answer 5 · 2023-02-11 03:09:14

74

Views

Normalizer as a functor/monad

Published on 11 Feb 2023 - 3:09

score 62 · Answer 6 · 2026-03-25 04:14:34

62

Views

Is this Comonadic?

Published on 25 Mar 2026 - 4:14

score 85 · Answer 7 · 2026-03-23 18:12:57

85

Views

How to internalize the extension operator of a monad in a Cartesian closed category?

Published on 23 Mar 2026 - 18:12

score 33 · Answer 8 · 2023-07-02 08:46:40

33

Views

Understading usage of functor composed with natural transformation in CT definitions

Published on 02 Jul 2023 - 8:46

score 90 · Answer 9 · 2023-07-18 13:44:28

90

Views

Fundamental Description Of Algebras Over The Monad $PP^{op}:\text{Set}\to\text{Set}$

Published on 18 Jul 2023 - 13:44

score 45 · Answer 10 · 2026-03-25 05:11:03

45

Views

Construction of 2-category of monoidal categories and (lax) monoidal functors as strict algebra category of a 2-monad

Published on 25 Mar 2026 - 5:11

score 63 · Answer 11 · 2026-03-25 01:27:33

63

Views

Induced Comonad of a Monad on the Eilenberg-Moore and the Kleisli category

Published on 25 Mar 2026 - 1:27

score 176 · Answer 12 · 2026-03-24 22:49:40

176

Views

What is the categorical construction for a list of nested lists?

Published on 24 Mar 2026 - 22:49

score 42 · Answer 13 · 2023-08-17 08:55:34

42

Views

Kleisli categories and Eilenberg-Moore categories induced by a pair of subcategories

Published on 17 Aug 2023 - 8:55

score 27 · Answer 14 · 2023-08-28 15:28:26

27

Views

What is implied by the handling of multisets by N-modules?

Published on 28 Aug 2023 - 15:28

score 97 · Answer 15 · 2023-09-03 20:54:41

97

Views

Multisets don't have addition

Published on 03 Sep 2023 - 20:54

List Question

Applications of Monadicity theorems

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

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

What's the multiplication in the continuation monad?

Normalizer as a functor/monad

Is this Comonadic?

How to internalize the extension operator of a monad in a Cartesian closed category?

Understading usage of functor composed with natural transformation in CT definitions

Fundamental Description Of Algebras Over The Monad $PP^{op}:\text{Set}\to\text{Set}$

Construction of 2-category of monoidal categories and (lax) monoidal functors as strict algebra category of a 2-monad

Induced Comonad of a Monad on the Eilenberg-Moore and the Kleisli category

What is the categorical construction for a list of nested lists?

Kleisli categories and Eilenberg-Moore categories induced by a pair of subcategories

What is implied by the handling of multisets by N-modules?

Multisets don't have addition

Trending Questions

Popular # Hahtags

Popular Questions