Question

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

score 90 · Answer 1 · 2026-05-10 19:14:40

90

Views

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

Published on 10 May 2026 - 19:14

score 346 · Answer 2 · 2026-05-11 08:32:46

346

Views

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

Published on 11 May 2026 - 8:32

score 227 · Answer 3 · 2026-04-13 00:24:22

227

Views

Instance of PCP problem : is it solvable?

Published on 13 Apr 2026 - 0:24

score 1.1k · Answer 4 · 2026-04-09 08:06:58

1.1k

Views

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

Published on 09 Apr 2026 - 8:06

score 722 · Answer 5 · 2026-04-14 10:41:17

722

Views

Summation of Squarefree Integers $\leq x$

Published on 14 Apr 2026 - 10:41

score 126 · Answer 6 · 2026-04-10 19:16:05

126

Views

behavioral properties of a simple petri net

Published on 10 Apr 2026 - 19:16

score 54 · Answer 7 · 2026-04-10 17:31:42

54

Views

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

Published on 10 Apr 2026 - 17:31

score 742 · Answer 8 · 2026-04-13 22:50:20

742

Views

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

Published on 13 Apr 2026 - 22:50

score 333 · Answer 9 · 2026-05-11 08:40:56

333

Views

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

Published on 11 May 2026 - 8:40

score 110 · Answer 10 · 2026-04-15 23:19:10

110

Views

Proofs including computer checking for "small" numbers

Published on 15 Apr 2026 - 23:19

score 118 · Answer 11 · 2026-04-16 02:52:54

118

Views

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

Published on 16 Apr 2026 - 2:52

score 44 · Answer 12 · 2026-04-13 12:15:01

44

Views

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

Published on 13 Apr 2026 - 12:15

score 365 · Answer 13 · 2026-04-13 17:51:24

365

Views

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

Published on 13 Apr 2026 - 17:51

score 145 · Answer 14 · 2026-04-12 12:20:57

145

Views

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

Published on 12 Apr 2026 - 12:20

score 681 · Answer 15 · 2026-05-14 13:05:31

681

Views

Beta reductions' evaluation order

Published on 14 May 2026 - 13:05

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