Question

What does 'equal' mean for morphisms of a category?

score 66 · Answer 1 · 2019-07-15 16:28:11

66

Views

What does 'equal' mean for morphisms of a category?

Published on 15 Jul 2019 - 16:28

score 44 · Answer 2 · 2019-07-15 16:42:51

44

Views

Structures preserved by the (co)unit of an adjunction

Published on 15 Jul 2019 - 16:42

score 239 · Answer 3 · 2026-03-25 09:27:23

239

Views

Naturality vs canonicality of double dual

Published on 25 Mar 2026 - 9:27

score 123 · Answer 4 · 2019-07-16 14:40:11

123

Views

Reflective property in computational category theory

Published on 16 Jul 2019 - 14:40

score 131 · Answer 5 · 2026-03-30 00:32:25

131

Views

What's the correct notion of equivalence in a double category?

Published on 30 Mar 2026 - 0:32

score 113 · Answer 6 · 2026-03-25 09:27:31

113

Views

Given $\eta \colon I_X \Rightarrow T$, is $\eta$ just $T \circ (-)$?

Published on 25 Mar 2026 - 9:27

score 116 · Answer 7 · 2026-03-29 22:31:45

116

Views

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

Published on 29 Mar 2026 - 22:31

score 128 · Answer 8 · 2026-03-25 15:42:13

128

Views

Interesting example of different Lawvere theories on a category

Published on 25 Mar 2026 - 15:42

score 42 · Answer 9 · 2026-03-29 22:33:06

42

Views

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

Published on 29 Mar 2026 - 22:33

score 81 · Answer 10 · 2026-03-25 16:44:21

81

Views

Is $\mathsf{Set}^{\mathsf{Set}}$ equivalent to its category of endofunctors?

Published on 25 Mar 2026 - 16:44

score 56 · Answer 11 · 2019-07-17 14:04:30

What is the concept for a category created by exchanging the roles of objects and morphisms in another category?

score 211 · Answer 12 · 2019-07-17 14:36:07

211

Views

Classifying space of a functor category

Published on 17 Jul 2019 - 14:36

score 176 · Answer 13 · 2026-04-03 07:20:18

176

Views

Concept of direct limit

Published on 03 Apr 2026 - 7:20

score 103 · Answer 14 · 2026-03-28 01:35:21

103

Views

Category of comagmas in $\mathbf{Set}$ and other topoi

Published on 28 Mar 2026 - 1:35

score 244 · Answer 15 · 2019-07-17 19:21:38

244

Views

pushouts/pullbacks as left/right adjoints of a diagonal functor

Published on 17 Jul 2019 - 19:21

List Question

What does 'equal' mean for morphisms of a category?

Structures preserved by the (co)unit of an adjunction

Naturality vs canonicality of double dual

Reflective property in computational category theory

What's the correct notion of equivalence in a double category?

Given $\eta \colon I_X \Rightarrow T$, is $\eta$ just $T \circ (-)$?

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

Interesting example of different Lawvere theories on a category

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

Is $\mathsf{Set}^{\mathsf{Set}}$ equivalent to its category of endofunctors?

What is the concept for a category created by exchanging the roles of objects and morphisms in another category?

Classifying space of a functor category

Concept of direct limit

Category of comagmas in $\mathbf{Set}$ and other topoi

pushouts/pullbacks as left/right adjoints of a diagonal functor

Trending Questions

Popular # Hahtags

Popular Questions