Question

The fixed point functors of Free and Cofree

score 796 · Answer 1 · 2024-12-30 23:08:46

796

Views

The fixed point functors of Free and Cofree

Published on 30 December 2024 at 23:08

score 161 · Answer 2 · 2025-01-02 00:27:14

161

Views

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

Published on 02 January 2025 at 00:27

score 260 · Answer 3 · 2025-01-02 00:20:55

260

Views

Sum of indexed functors

Published on 02 January 2025 at 00:20

score 351 · Answer 4 · 2025-01-02 00:25:49

351

Views

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

Published on 02 January 2025 at 00:25

score 1.1k · Answer 5 · 2025-01-02 00:23:32

1.1k

Views

Defining Categories and Category Laws in Haskell

Published on 02 January 2025 at 00:23

score 504 · Answer 6 · 2025-01-02 00:24:08

504

Views

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

Published on 02 January 2025 at 00:24

score 701 · Answer 7 · 2025-01-02 00:22:01

701

Views

Open Type Level Proofs in Haskell/Idris

Published on 02 January 2025 at 00:22

score 1k · Answer 8 · 2024-12-31 01:25:31

1k

Views

Initial algebra for rose trees

Published on 31 December 2024 at 01:25

score 15.8k · Answer 9 · 2025-01-02 00:25:08

15.8k

Views

Real-world applications of zygohistomorphic prepromorphisms

Published on 02 January 2025 at 00:25

score 161 · Answer 10 · 2025-01-02 00:26:44

161

Views

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

Published on 02 January 2025 at 00:26

score 394 · Answer 11 · 2025-01-02 00:23:31

394

Views

What type corresponds to a xor b in type theory?

Published on 02 January 2025 at 00:23

score 655 · Answer 12 · 2025-01-02 00:28:41

655

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 02 January 2025 at 00:28

score 106 · Answer 13 · 2025-01-02 00:25:49

106

Views

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

Published on 02 January 2025 at 00:25

score 530 · Answer 14 · 2025-01-02 00:23:30

530

Views

Matrix as Applicative functor, which is not Monad

Published on 02 January 2025 at 00:23

score 761 · Answer 15 · 2025-01-02 00:21:27

761

Views

List based on right Kan extension

Published on 02 January 2025 at 00:21

score 136 · Answer 16 · 2025-01-02 00:28:30

136

Views

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

Published on 02 January 2025 at 00:28

score 217 · Answer 17 · 2025-01-02 00:22:46

217

Views

Bifunctors in Haskell vs in category theory

Published on 02 January 2025 at 00:22

score 223 · Answer 18 · 2025-01-02 00:21:39

223

Views

The identity monad as a free monad

Published on 02 January 2025 at 00:21

score 464 · Answer 19 · 2025-01-02 00:25:07

464

Views

Why are traversals defined over Applicatives, fundamentally?

Published on 02 January 2025 at 00:25

score 1k · Answer 20 · 2025-01-02 00:27:32

1k

Views

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

Published on 02 January 2025 at 00:27

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