Question

Non-natural transformation example

score 624 · Answer 1 · 2026-05-10 08:03:46

624

Views

Non-natural transformation example

Published on 10 May 2026 - 8:03

score 1.4k · Answer 2 · 2026-04-25 07:39:07

1.4k

Views

What intuitive notion is formalized by "natural transformation" in category theory?

Published on 25 Apr 2026 - 7:39

score 312 · Answer 3 · 2026-04-25 16:24:48

312

Views

understanding natural transformations that are not natural isomorphisms

Published on 25 Apr 2026 - 16:24

score 85 · Answer 4 · 2026-04-26 17:20:24

85

Views

Proving for two naturally isomorphic functors, if one is full, then so is the other.

Published on 26 Apr 2026 - 17:20

score 371 · Answer 5 · 2026-04-25 16:08:17

371

Views

Showing when two functors are naturally isomorphic, if one is faithful, then the other also is.

Published on 25 Apr 2026 - 16:08

score 114 · Answer 6 · 2026-04-28 02:47:02

114

Views

Proving equivalent categories have binary products if one of them does

Published on 28 Apr 2026 - 2:47

score 49 · Answer 7 · 2026-04-28 15:35:09

49

Views

How to arrive at unique factorization through the limit given naturality compatibility conditions?

Published on 28 Apr 2026 - 15:35

score 194 · Answer 8 · 2026-04-23 01:31:50

194

Views

If the Yoneda lemma essentially says that $\text{Hom}(\text{Hom}(\cdot, x), A) \simeq A(x)$, then what about higher iterates of $\text{Hom}$?

Published on 23 Apr 2026 - 1:31

score 66 · Answer 9 · 2026-04-29 10:44:57

66

Views

Sandwich natural transformation between two functors

Published on 29 Apr 2026 - 10:44

score 74 · Answer 10 · 2026-05-01 15:57:04

74

Views

$[\mathsf{I},\mathsf{C}]$ and $[\mathsf{J},\mathsf{C}]$ are equivalent if $\mathsf{I}$ and $\mathsf{J}$ are.

Published on 01 May 2026 - 15:57

score 49 · Answer 11 · 2026-04-28 09:32:35

49

Views

Every natural isomorphism decomposes through another

Published on 28 Apr 2026 - 9:32

score 1.5k · Answer 12 · 2026-05-02 18:06:34

1.5k

Views

Product in the category of functors.

Published on 02 May 2026 - 18:06

score 460 · Answer 13 · 2026-05-07 05:14:54

460

Views

Riehl's "Category Theory in Context" - Exercise 3.4.i

Published on 07 May 2026 - 5:14

score 117 · Answer 14 · 2026-05-03 03:59:54

117

Views

Proving adjoint equivalence from natural isomorphic unit

Published on 03 May 2026 - 3:59

score 250 · Answer 15 · 2026-05-02 06:05:25

250

Views

How is it obvious that $\times : C \times C \to C$ is right adjoint to the diagonal functor?

Published on 02 May 2026 - 6:05

List Question

Non-natural transformation example

What intuitive notion is formalized by "natural transformation" in category theory?

understanding natural transformations that are not natural isomorphisms

Proving for two naturally isomorphic functors, if one is full, then so is the other.

Showing when two functors are naturally isomorphic, if one is faithful, then the other also is.

Proving equivalent categories have binary products if one of them does

How to arrive at unique factorization through the limit given naturality compatibility conditions?

If the Yoneda lemma essentially says that $\text{Hom}(\text{Hom}(\cdot, x), A) \simeq A(x)$, then what about higher iterates of $\text{Hom}$?

Sandwich natural transformation between two functors

$[\mathsf{I},\mathsf{C}]$ and $[\mathsf{J},\mathsf{C}]$ are equivalent if $\mathsf{I}$ and $\mathsf{J}$ are.

Every natural isomorphism decomposes through another

Product in the category of functors.

Riehl's "Category Theory in Context" - Exercise 3.4.i

Proving adjoint equivalence from natural isomorphic unit

How is it obvious that $\times : C \times C \to C$ is right adjoint to the diagonal functor?

Trending Questions

Popular # Hahtags

Popular Questions