Question

The fixed point functors of Free and Cofree

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

740

Views

The fixed point functors of Free and Cofree

Published on 17 December 2016 at 19:18

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

109

Views

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

Published on 28 December 2016 at 08:03

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

201

Views

Sum of indexed functors

Published on 02 January 2017 at 04:31

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

299

Views

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

Published on 11 November 2014 at 22:11

score 1k · Answer 5 · 2014-11-21 11:54:10

1k

Views

Defining Categories and Category Laws in Haskell

Published on 21 November 2014 at 11:54

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

451

Views

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

Published on 27 November 2014 at 13:33

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

646

Views

Open Type Level Proofs in Haskell/Idris

Published on 30 November 2014 at 23:40

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

1k

Views

Initial algebra for rose trees

Published on 26 August 2017 at 23:02

score 15.7k · Answer 9 · 2011-02-20 12:50:12

15.7k

Views

Real-world applications of zygohistomorphic prepromorphisms

Published on 20 February 2011 at 12:50

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

115

Views

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

Published on 12 October 2020 at 17:05

score 350 · Answer 11 · 2020-10-15 21:44:17

350

Views

What type corresponds to a xor b in type theory?

Published on 15 October 2020 at 21:44

score 613 · Answer 12 · 2020-10-16 18:23:26

613

Views

If Either can be either Left or Right but not both, then why does it correspond to OR instead of XOR in Curry-Howard correspondence?

Published on 16 October 2020 at 18:23

score 88 · Answer 13 · 2020-10-21 19:08:32

88

Views

Is an identity functor in Category of sets a function application?

Published on 21 October 2020 at 19:08

score 514 · Answer 14 · 2014-12-08 17:04:17

514

Views

Matrix as Applicative functor, which is not Monad

Published on 08 December 2014 at 17:04

score 745 · Answer 15 · 2014-12-09 14:20:57

745

Views

List based on right Kan extension

Published on 09 December 2014 at 14:20

score 120 · Answer 16 · 2014-12-19 10:33:21

120

Views

Proper way to wrap selectively class instances (or "lift" functions like `sortBy`, `minimumBy`, ... automatically)

Published on 19 December 2014 at 10:33

score 176 · Answer 17 · 2023-10-31 12:07:24

176

Views

Bifunctors in Haskell vs in category theory

Published on 31 October 2023 at 12:07

score 205 · Answer 18 · 2022-04-28 15:28:56

205

Views

The identity monad as a free monad

Published on 28 April 2022 at 15:28

score 409 · Answer 19 · 2022-05-09 17:20:16

409

Views

Why are traversals defined over Applicatives, fundamentally?

Published on 09 May 2022 at 17:20

score 1k · Answer 20 · 2021-04-21 05:43:28

1k

Views

Is Haskell's `Const` Functor analogous to the constant functor from category theory?

Published on 21 April 2021 at 05:43

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...?

What type corresponds to a xor b in type theory?

If Either can be either Left or Right but not both, then why does it correspond to OR instead of XOR in Curry-Howard correspondence?

Is an identity functor in Category of sets a function application?

Matrix as Applicative functor, which is not Monad

List based on right Kan extension

Proper way to wrap selectively class instances (or "lift" functions like `sortBy`, `minimumBy`, ... automatically)

Bifunctors in Haskell vs in category theory

The identity monad as a free monad

Why are traversals defined over Applicatives, fundamentally?

Is Haskell's `Const` Functor analogous to the constant functor from category theory?

Trending Questions

Popular # Hahtags

Popular Questions