Question

How can I implement a Functor trait in Rust?

score 69 · Answer 1 · 2024-03-16T10:50:24.023000

69

Views

How can I implement a Functor trait in Rust?

Published on 16 March 2024 at 10:50

score 121 · Answer 2 · 2024-03-10T21:02:38.327000

121

Views

Implementing the idea of category in C++ at compile time

Published on 10 March 2024 at 21:02

score 235 · Answer 3 · 2024-03-05T16:34:26.370000

235

Views

What is the name used in literature and libraries for the abstraction of "zero profunctors"

Published on 05 March 2024 at 16:34

score 122 · Answer 4 · 2024-03-04T14:50:57.917000

122

Views

Profunctor but with three contravariant parameters

Published on 04 March 2024 at 14:50

score 257 · Answer 5 · 2023-10-31T12:07:24.927000

257

Views

Bifunctors in Haskell vs in category theory

Published on 31 October 2023 at 12:07

score 36 · Answer 6 · 2023-09-03T19:54:15.087000

36

Views

What Category theory object makes Array in JavaScript chainable?

Published on 03 September 2023 at 19:54

score 83 · Answer 7 · 2023-06-09T06:34:48.060000

83

Views

initial and terminal object make the category unique?

Published on 09 June 2023 at 06:34

score 108 · Answer 8 · 2023-05-29T23:14:07.070000

108

Views

cats effect evaluates only the final for coprehension and ignores rest

Published on 29 May 2023 at 23:14

score 196 · Answer 9 · 2023-05-29T20:36:46.617000

196

Views

Monad and Functor law for Monad and Functor type class in Haskell

Published on 29 May 2023 at 20:36

score 215 · Answer 10 · 2023-04-02T10:36:54.977000

215

Views

Deriving a monad from a cofree comonad

Published on 02 April 2023 at 10:36

score 142 · Answer 11 · 2023-03-17T19:46:53.200000

142

Views

Is the type constructor `Maybe (BTree a)` a monad?

Published on 17 March 2023 at 19:46

score 175 · Answer 12 · 2023-02-27T20:59:18.087000

175

Views

How do I prove two applications of the absurd pattern result in the same in Cubical Agda?

Published on 27 February 2023 at 20:59

score 136 · Answer 13 · 2023-02-12T11:08:56.977000

136

Views

Is there a semigroup/monoid in the context of a monad?

Published on 12 February 2023 at 11:08

score 147 · Answer 14 · 2023-01-19T21:13:05.917000

147

Views

Can one simplify the Codensity monad on Maybe?

Published on 19 January 2023 at 21:13

score 110 · Answer 15 · 2023-01-18T21:43:08.513000

110

Views

In Scala cats-laws, why is the functor composition law different from canonical definition?

Published on 18 January 2023 at 21:43

score 142 · Answer 16 · 2023-01-18T00:37:41.660000

142

Views

Why doesn't Haskell's `Functor` instance define a "return-like" function?

Published on 18 January 2023 at 00:37

score 81 · Answer 17 · 2022-12-18T02:00:51.907000

81

Views

Naturality of product functor morphisms

Published on 18 December 2022 at 02:00

score 88 · Answer 18 · 2022-12-05T13:07:33.470000

88

Views

Are there any functions that are computable but not curriable?

Published on 05 December 2022 at 13:07

score 209 · Answer 19 · 2022-10-13T10:02:29.823000

209

Views

Why is FunctionK not the same as a Natural Transformation

Published on 13 October 2022 at 10:02

score 272 · Answer 20 · 2022-10-02T16:44:20.447000

272

Views

Can `Fix` and `(,)` be seen as functors in some sense?

Published on 02 October 2022 at 16:44

List Question

How can I implement a Functor trait in Rust?

Implementing the idea of category in C++ at compile time

What is the name used in literature and libraries for the abstraction of "zero profunctors"

Profunctor but with three contravariant parameters

Bifunctors in Haskell vs in category theory

What Category theory object makes Array in JavaScript chainable?

initial and terminal object make the category unique?

cats effect evaluates only the final for coprehension and ignores rest

Monad and Functor law for Monad and Functor type class in Haskell

Deriving a monad from a cofree comonad

Is the type constructor `Maybe (BTree a)` a monad?

How do I prove two applications of the absurd pattern result in the same in Cubical Agda?

Is there a semigroup/monoid in the context of a monad?

Can one simplify the Codensity monad on Maybe?

In Scala cats-laws, why is the functor composition law different from canonical definition?

Why doesn't Haskell's `Functor` instance define a "return-like" function?

Naturality of product functor morphisms

Are there any functions that are computable but not curriable?

Why is FunctionK not the same as a Natural Transformation

Can `Fix` and `(,)` be seen as functors in some sense?

Trending Questions

Popular # Hahtags

Popular Questions