Question

The fixed point functors of Free and Cofree

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

783

Views

The fixed point functors of Free and Cofree

Published on 30 December 2024 at 23:08

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

148

Views

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

Published on 02 January 2025 at 00:27

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

248

Views

Sum of indexed functors

Published on 02 January 2025 at 00:20

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

339

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 492 · Answer 6 · 2025-01-02 00:24:08

492

Views

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

Published on 02 January 2025 at 00:24

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

692

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.7k · Answer 9 · 2025-01-02 00:25:08

15.7k

Views

Real-world applications of zygohistomorphic prepromorphisms

Published on 02 January 2025 at 00:25

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

150

Views

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

Published on 02 January 2025 at 00:26

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

383

Views

What type corresponds to a xor b in type theory?

Published on 02 January 2025 at 00:23

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

643

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 97 · Answer 13 · 2025-01-02 00:25:49

97

Views

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

Published on 02 January 2025 at 00:25

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

522

Views

Matrix as Applicative functor, which is not Monad

Published on 02 January 2025 at 00:23

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

752

Views

List based on right Kan extension

Published on 02 January 2025 at 00:21

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

128

Views

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

Published on 02 January 2025 at 00:28

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

207

Views

Bifunctors in Haskell vs in category theory

Published on 02 January 2025 at 00:22

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

213

Views

The identity monad as a free monad

Published on 02 January 2025 at 00:21

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

451

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