List Question
10 TechQA 2024-10-19 22:33:22The fixed point functors of Free and Cofree
771 views
Asked by leftaroundabout
Does a natural monoidal structure on copoints of a Functor induce a Comonad?
134 views
Asked by mnish
Sum of indexed functors
224 views
Asked by Erik Schnetter
Are type-level functors just functors in the 2-category of Hask?
330 views
Asked by Nathan BeDell
Defining Categories and Category Laws in Haskell
1.1k views
Asked by mbrodersen
Is there a term for a monad that is also a comonad?
500 views
Asked by qbeightol
Open Type Level Proofs in Haskell/Idris
682 views
Asked by David Harrison
Initial algebra for rose trees
1k views
Asked by Dan Oneață
Real-world applications of zygohistomorphic prepromorphisms
15.7k views
Asked by barsoap
Equivalence relations are to Groups, as partial order relations are to...?
145 views
Asked by JRC