Question

If $\mathscr C$ is a Cartesian closed category with terminal object $1$, then for all $A, B, C\in \mathscr C$, $1^B \cong 1$.

score 96 · Answer 1 · 2026-04-22 11:04:49

96

Views

If $\mathscr C$ is a Cartesian closed category with terminal object $1$, then for all $A, B, C\in \mathscr C$, $1^B \cong 1$.

Published on 22 Apr 2026 - 11:04

score 45 · Answer 2 · 2026-04-16 15:16:33

45

Views

Proving that for $a\in\Bbb{Z}$, $a^2\mid a$ iff $a\in\{-1, 0, 1\}$. My first argument seems shaky, my second argument seems overly simple.

Published on 16 Apr 2026 - 15:16

score 150 · Answer 3 · 2026-03-26 12:51:24

150

Views

Well-Ordering Proof in Cunningham

Published on 26 Mar 2026 - 12:51

score 34 · Answer 4 · 2026-04-12 19:35:56

34

Views

Is this sufficient proof for the existence of a set $X$?

Published on 12 Apr 2026 - 19:35

score 104 · Answer 5 · 2026-04-13 23:28:10

104

Views

What are the general steps of showing that $\mathbb{R}P^5$ and $\mathbb{R}P^4 \vee S^5$ are not homotopy equivalent?

Published on 13 Apr 2026 - 23:28

score 176 · Answer 6 · 2026-04-12 21:52:16

176

Views

Showing that a map $f$ between connected $CW$-complexes is a homotopy equivalence.

Published on 12 Apr 2026 - 21:52

score 101 · Answer 7 · 2026-04-16 07:00:26

101

Views

Proof explanation of $\sum_{k=0}^{n-1}(n+k)(n-k) = \frac{1}{6}n(n+1)(4n-1), n \geq 1$

Published on 16 Apr 2026 - 7:00

score 137 · Answer 8 · 2026-04-12 18:44:30

137

Views

Proof explanation of $5^{2n}-2^n$ is divisible by $23$ for $n \in \mathbb{N}$

Published on 12 Apr 2026 - 18:44

score 428 · Answer 9 · 2026-04-13 12:15:58

428

Views

Proving that the fundamental groups of two spaces with same homotopy type are isomorphic

Published on 13 Apr 2026 - 12:15

score 41 · Answer 10 · 2026-04-17 07:39:15

41

Views

Proof explanation of $\prod_{k=2}^n \big(1- \frac{2}{k(k+1)} \big) = \frac{1}{3} \big(1+\frac{2}{n} \big), n \geq 2$

Published on 17 Apr 2026 - 7:39

score 39 · Answer 11 · 2026-04-13 14:31:27

39

Views

Adding and subtracting a value in proofs

Published on 13 Apr 2026 - 14:31

score 545 · Answer 12 · 2026-04-14 15:41:30

545

Views

Given a compact nonempty metric space $M$, there is a continuous surjection from the Cantor set onto $M$. doubt about proof

Published on 14 Apr 2026 - 15:41

score 329 · Answer 13 · 2026-04-09 03:21:45

329

Views

understanding the meaning of scalar in the inner product definition.

Published on 09 Apr 2026 - 3:21

score 41 · Answer 14 · 2026-04-07 17:46:17

41

Views

Understanding a step in a solution.

Published on 07 Apr 2026 - 17:46

score 34 · Answer 15 · 2026-04-14 08:08:13

34

Views

Proving that every eigenvalue is $Positive$.

Published on 14 Apr 2026 - 8:08

List Question

If $\mathscr C$ is a Cartesian closed category with terminal object $1$, then for all $A, B, C\in \mathscr C$, $1^B \cong 1$.

Proving that for $a\in\Bbb{Z}$, $a^2\mid a$ iff $a\in\{-1, 0, 1\}$. My first argument seems shaky, my second argument seems overly simple.

Well-Ordering Proof in Cunningham

Is this sufficient proof for the existence of a set $X$?

What are the general steps of showing that $\mathbb{R}P^5$ and $\mathbb{R}P^4 \vee S^5$ are not homotopy equivalent?

Showing that a map $f$ between connected $CW$-complexes is a homotopy equivalence.

Proof explanation of $\sum_{k=0}^{n-1}(n+k)(n-k) = \frac{1}{6}n(n+1)(4n-1), n \geq 1$

Proof explanation of $5^{2n}-2^n$ is divisible by $23$ for $n \in \mathbb{N}$

Proving that the fundamental groups of two spaces with same homotopy type are isomorphic

Proof explanation of $\prod_{k=2}^n \big(1- \frac{2}{k(k+1)} \big) = \frac{1}{3} \big(1+\frac{2}{n} \big), n \geq 2$

Adding and subtracting a value in proofs

Given a compact nonempty metric space $M$, there is a continuous surjection from the Cantor set onto $M$. doubt about proof

understanding the meaning of scalar in the inner product definition.

Understanding a step in a solution.

Proving that every eigenvalue is $Positive$.

Trending Questions

Popular # Hahtags

Popular Questions