TechQA.

Question

The fixed point functors of Free and Cofree

score 769 · Answer 1 · 2016-12-17 19:18:47

2

Answer

769

Views

The fixed point functors of Free and Cofree

769 views Asked by leftaroundabout At 17 December 2016 at 19:18

score 140 · Answer 2 · 2016-12-28 08:03:31

Does a natural monoidal structure on copoints of a Functor induce a Comonad?

140 views Asked by mnish At 28 December 2016 at 08:03

score 244 · Answer 3 · 2017-01-02 04:31:12

Sum of indexed functors

244 views Asked by Erik Schnetter At 02 January 2017 at 04:31

score 319 · Answer 4 · 2014-11-11 22:11:21

Are type-level functors just functors in the 2-category of Hask?

319 views Asked by Nathan BeDell At 11 November 2014 at 22:11

score 1123 · Answer 5 · 2014-11-21 11:54:10

Defining Categories and Category Laws in Haskell

1.1k views Asked by mbrodersen At 21 November 2014 at 11:54

score 482 · Answer 6 · 2014-11-27 13:33:46

Is there a term for a monad that is also a comonad?

482 views Asked by qbeightol At 27 November 2014 at 13:33

score 691 · Answer 7 · 2014-11-30 23:40:34

Open Type Level Proofs in Haskell/Idris

691 views Asked by David Harrison At 30 November 2014 at 23:40

score 1061 · Answer 8 · 2017-08-26 23:02:36

Initial algebra for rose trees

1k views Asked by Dan Oneață At 26 August 2017 at 23:02

score 15782 · Answer 9 · 2011-02-20 12:50:12

Real-world applications of zygohistomorphic prepromorphisms

15.7k views Asked by barsoap At 20 February 2011 at 12:50

score 141 · Answer 10 · 2020-10-12 17:05:05

Equivalence relations are to Groups, as partial order relations are to...?

141 views Asked by JRC At 12 October 2020 at 17:05

TechQA.

List Question

The fixed point functors of Free and Cofree

Does a natural monoidal structure on copoints of a Functor induce a Comonad?

Sum of indexed functors

Are type-level functors just functors in the 2-category of Hask?

Defining Categories and Category Laws in Haskell

Is there a term for a monad that is also a comonad?

Open Type Level Proofs in Haskell/Idris

Initial algebra for rose trees

Real-world applications of zygohistomorphic prepromorphisms

Equivalence relations are to Groups, as partial order relations are to...?

Popular Questions

Popular Tags

Trending Questions