List questions from category-theory

Published on 10 Apr 2026 - 17:39

202

Views

Understanding the solution of Exercise 4.1.32 in Tom Leinster "Basic Category Theory".

Published on 11 May 2026 - 8:27

46

Views

Proving the injectivity of a certain map of sets

Published on 15 Apr 2026 - 12:46

157

Views

Intuition behind large diagrams in category theory

Published on 11 May 2026 - 2:53

78

Views

On the terminology concerning images in category theory

Published on 17 Apr 2026 - 3:36

86

Views

Presheaf problem

Published on 11 Apr 2026 - 8:12

101

Views

What are isomorphisms in different categories of vector spaces and algebras?

Published on 14 Apr 2026 - 9:35

105

Views

Should homomorphisms between algebraic structures be considered functions?

Published on 13 Apr 2026 - 20:31

182

Views

Showing that $\varinjlim (L_i \otimes M_i) \cong \varinjlim L_i \otimes \varinjlim M_i$

Published on 15 May 2026 - 22:29

96

Views

The projection $\mathsf{Top}_\to h\sf Top_$ preserves products

Published on 05 May 2026 - 0:07

23

Views

Does pslim have a Cat-enriched left adjoint?

Published on 04 May 2026 - 21:06

63

Views

How is it that a function from $m \times m + 1 \to m$ is the same as a function from $m \times m \to m$ and another $1 \to m$?

Published on 14 Apr 2026 - 21:09

112

Views

The abelianizer functor is not faithful

Published on 12 Apr 2026 - 1:25

97

Views

Is $\mathbb{R}\cup\{-\infty,+\infty\}$ the categorical co-completion of $\mathbb{Q}$

Published on 14 Apr 2026 - 18:09

65

Views

Statement and Proof of Deligne's Theorem

Published on 10 Jun 2023 - 4:15

List Question

Does the application functor have adjoints?

Understanding the solution of Exercise 4.1.32 in Tom Leinster "Basic Category Theory".

Proving the injectivity of a certain map of sets

Intuition behind large diagrams in category theory

On the terminology concerning images in category theory

Presheaf problem

What are isomorphisms in different categories of vector spaces and algebras?

Should homomorphisms between algebraic structures be considered functions?

Showing that $\varinjlim (L_i \otimes M_i) \cong \varinjlim L_i \otimes \varinjlim M_i$

The projection $\mathsf{Top}_\to h\sf Top_$ preserves products

Does pslim have a Cat-enriched left adjoint?

How is it that a function from $m \times m + 1 \to m$ is the same as a function from $m \times m \to m$ and another $1 \to m$?

The abelianizer functor is not faithful

Is $\mathbb{R}\cup\{-\infty,+\infty\}$ the categorical co-completion of $\mathbb{Q}$

Statement and Proof of Deligne's Theorem

Trending Questions

Popular # Hahtags

Popular Questions