List questions from category-theory

Published on 17 Apr 2026 - 7:34

361

Views

Understanding the definition of direct limit

Published on 09 Apr 2026 - 13:21

106

Views

Product projections are a universal arrow?

Published on 15 Apr 2026 - 10:07

146

Views

Can one reconstruct a topological space by knowing all of its covering spaces?

Published on 12 Apr 2026 - 23:45

67

Views

Does $\operatorname{Hom}_{\mathbf K (\mathcal{A})}(A, B) = 0$ imply $\operatorname{Hom}_{\mathbf D (\mathcal{A})}(A, B) = 0$?

Published on 23 Jan 2020 - 9:54

173

Views

"If then" statements in a topos

Published on 28 Mar 2026 - 10:16

87

Views

Is the image a universal object?

Published on 10 Apr 2026 - 23:04

572

Views

How does the Universal Mapping Property encode “no-junk” and “no-noise” in a free monoid?

Published on 26 Mar 2026 - 1:03

285

Views

Direct limit of arbitrary family of tensor products of A-algebras

Published on 14 Apr 2026 - 19:50

142

Views

What is the definition of a 2-graph?

Published on 12 Apr 2026 - 19:34

199

Views

Is direct limit created by the forgetful functor from an Eilenberg-Moore algebra

Published on 09 Apr 2026 - 8:06

143

Views

Definition of injective maps in Category theory and the relation of this definition to our ordinary definition.

Published on 12 Apr 2026 - 18:23

68

Views

Is the initial object of the category of pointed invertible unary systems the integers?

Published on 16 Apr 2026 - 19:40

67

Views

Proving that in $S \sqcup T,$ it must be that $S \cup T = S \sqcup T$.

Published on 17 Apr 2026 - 2:48

60

Views

restriction maps of the constant presheaf are necessarily identity

Published on 12 Apr 2026 - 9:12

List Question

Category of presheaves

Understanding the definition of direct limit

Product projections are a universal arrow?

Can one reconstruct a topological space by knowing all of its covering spaces?

Does $\operatorname{Hom}_{\mathbf K (\mathcal{A})}(A, B) = 0$ imply $\operatorname{Hom}_{\mathbf D (\mathcal{A})}(A, B) = 0$?

"If then" statements in a topos

Is the image a universal object?

How does the Universal Mapping Property encode “no-junk” and “no-noise” in a free monoid?

Direct limit of arbitrary family of tensor products of A-algebras

What is the definition of a 2-graph?

Is direct limit created by the forgetful functor from an Eilenberg-Moore algebra

Definition of injective maps in Category theory and the relation of this definition to our ordinary definition.

Is the initial object of the category of pointed invertible unary systems the integers?

Proving that in $S \sqcup T,$ it must be that $S \cup T = S \sqcup T$.

restriction maps of the constant presheaf are necessarily identity

Trending Questions

Popular # Hahtags

Popular Questions