Question

What are the category and monoids given rise to by a monad?

score 84 · Answer 1 · 2026-03-29 18:13:58

84

Views

What are the category and monoids given rise to by a monad?

Published on 29 Mar 2026 - 18:13

score 343 · Answer 2 · 2026-03-25 15:47:03

343

Views

Fast Computation of the Divisor Summatory Function $\sum_{i=1}^x\sum_{d|i}d$

Published on 25 Mar 2026 - 15:47

score 224 · Answer 3 · 2019-07-09 14:27:12

224

Views

Instance of PCP problem : is it solvable?

Published on 09 Jul 2019 - 14:27

score 1.1k · Answer 4 · 2026-02-23 04:55:27

1.1k

Views

Decide Whether or Not These Questions are Decidable and Substantiate Your Answers

Published on 23 Feb 2026 - 4:55

score 719 · Answer 5 · 2019-07-10 20:26:28

719

Views

Summation of Squarefree Integers $\leq x$

Published on 10 Jul 2019 - 20:26

score 123 · Answer 6 · 2019-07-11 06:41:07

123

Views

behavioral properties of a simple petri net

Published on 11 Jul 2019 - 6:41

score 52 · Answer 7 · 2026-03-26 04:32:46

52

Views

How to move an object's world space matrix to another matrix by linear interpolation?

Published on 26 Mar 2026 - 4:32

score 739 · Answer 8 · 2019-07-13 11:28:32

739

Views

How does category theory represent type constructors, higher order functions and typeclasses?

Published on 13 Jul 2019 - 11:28

score 330 · Answer 9 · 2026-03-25 17:42:14

330

Views

Given n number of sticks with length l, find all combinations of 6 sticks that can make up a square.

Published on 25 Mar 2026 - 17:42

score 108 · Answer 10 · 2026-03-25 23:15:59

108

Views

Proofs including computer checking for "small" numbers

Published on 25 Mar 2026 - 23:15

score 115 · Answer 11 · 2019-07-17 13:06:58

115

Views

What are the closest or related categorical concepts to applicative functors?

Published on 17 Jul 2019 - 13:06

score 41 · Answer 12 · 2019-07-17 13:32:27

41

Views

What are the concepts for a generalized arrow from an object to an arrow, and mapping on such generalized arrows?

Published on 17 Jul 2019 - 13:32

score 362 · Answer 13 · 2019-07-17 20:53:27

362

Views

How does the category theory represent that each function (each morphism) has a function type (an object)?

Published on 17 Jul 2019 - 20:53

score 142 · Answer 14 · 2019-07-18 00:25:05

142

Views

How to represent the inversion of a Key Value Pair (dictionary) in computer science within a math formula?

Published on 18 Jul 2019 - 0:25

score 678 · Answer 15 · 2026-03-25 22:01:59

678

Views

Beta reductions' evaluation order

Published on 25 Mar 2026 - 22:01

List Question

What are the category and monoids given rise to by a monad?

Fast Computation of the Divisor Summatory Function $\sum_{i=1}^x\sum_{d|i}d$

Instance of PCP problem : is it solvable?

Decide Whether or Not These Questions are Decidable and Substantiate Your Answers

Summation of Squarefree Integers $\leq x$

behavioral properties of a simple petri net

How to move an object's world space matrix to another matrix by linear interpolation?

How does category theory represent type constructors, higher order functions and typeclasses?

Given n number of sticks with length l, find all combinations of 6 sticks that can make up a square.

Proofs including computer checking for "small" numbers

What are the closest or related categorical concepts to applicative functors?

What are the concepts for a generalized arrow from an object to an arrow, and mapping on such generalized arrows?

How does the category theory represent that each function (each morphism) has a function type (an object)?

How to represent the inversion of a Key Value Pair (dictionary) in computer science within a math formula?

Beta reductions' evaluation order

Trending Questions

Popular # Hahtags

Popular Questions