List Question
20 TechQA 2024-03-16T10:50:24.023000How can I implement a Functor trait in Rust?
69 views
Asked by William Albuquerque
Implementing the idea of category in C++ at compile time
121 views
Asked by AmateurCategorist
What is the name used in literature and libraries for the abstraction of "zero profunctors"
235 views
Asked by Eryk Ciepiela
Profunctor but with three contravariant parameters
122 views
Asked by Clinton
Bifunctors in Haskell vs in category theory
257 views
Asked by 141592653
What Category theory object makes Array in JavaScript chainable?
36 views
Asked by jcubic
initial and terminal object make the category unique?
83 views
Asked by AudioBubble
cats effect evaluates only the final for coprehension and ignores rest
108 views
Asked by Somu
Monad and Functor law for Monad and Functor type class in Haskell
196 views
Asked by SmoothTraderKen
Deriving a monad from a cofree comonad
215 views
Asked by Johannes Riecken
Is the type constructor `Maybe (BTree a)` a monad?
142 views
Asked by winitzki
How do I prove two applications of the absurd pattern result in the same in Cubical Agda?
175 views
Asked by André Muricy
Is there a semigroup/monoid in the context of a monad?
136 views
Asked by joel
Can one simplify the Codensity monad on Maybe?
147 views
Asked by winitzki
In Scala cats-laws, why is the functor composition law different from canonical definition?
110 views
Asked by tribbloid
Why doesn't Haskell's `Functor` instance define a "return-like" function?
142 views
Asked by Al Sneed
Naturality of product functor morphisms
81 views
Asked by docjosh
Are there any functions that are computable but not curriable?
88 views
Asked by David Velasco Pérez
Why is FunctionK not the same as a Natural Transformation
209 views
Asked by Joe
Can `Fix` and `(,)` be seen as functors in some sense?
272 views
Asked by fluffyyboii