TechQA.

Question

The fixed point functors of Free and Cofree

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

2

Answer

793

Views

The fixed point functors of Free and Cofree

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

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

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

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

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

Sum of indexed functors

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

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

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

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

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

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

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

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

Open Type Level Proofs in Haskell/Idris

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

score 1081 · 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 15803 · Answer 9 · 2011-02-20 12:50:12

Real-world applications of zygohistomorphic prepromorphisms

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

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

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

155 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