TechQA.

Question

The fixed point functors of Free and Cofree

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

2

Answer

758

Views

The fixed point functors of Free and Cofree

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

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

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

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

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

Sum of indexed functors

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

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

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

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

score 1112 · 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 468 · Answer 6 · 2014-11-27 13:33:46

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

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

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

Open Type Level Proofs in Haskell/Idris

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

score 1039 · 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 15770 · 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 132 · Answer 10 · 2020-10-12 17:05:05

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

132 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