List questions from category-theory

Published on 25 Mar 2026 - 9:30

547

Views

Definition of Cartesian Closed Category: Why do we need exponential objects?

Published on 22 Apr 2026 - 20:24

156

Views

There is only one comonoid object in Set

Published on 14 Apr 2026 - 18:16

319

Views

Vector space with continuum basis as an inverse limit of finite dimensional vector spaces

Published on 25 Mar 2026 - 22:26

296

Views

The free monad over an endofunctor on $\mathcal{Set}$

Published on 25 Mar 2026 - 11:05

65

Views

Prove categories equivalence using compositions of functors

Published on 25 Mar 2026 - 6:02

126

Views

If any locally constant sheaf on $X$ is constant, then $X$ is simply connected

Published on 13 Apr 2026 - 4:58

42

Views

Unique function whose product is a unique monoid element?

Published on 09 Apr 2026 - 22:12

106

Views

Type formation rules for a monad

Published on 05 Apr 2026 - 20:53

168

Views

criteria for equivalence to the trivial category $\ast$

Published on 15 Apr 2026 - 11:41

31

Views

law of compositions in a category

Published on 17 Apr 2026 - 0:04

81

Views

$C_n(X;G)$ is naturally isomorphic to $C_n(X) \otimes G$

Published on 25 Mar 2026 - 12:20

656

Views

When are two morphisms equal?

Published on 12 Apr 2026 - 4:47

74

Views

equivalence of functors categories

Published on 13 Apr 2026 - 9:31

427

Views

What exactly is in universe in category theory?

Published on 16 Apr 2026 - 7:46

List Question

Representable functor is left-adjoint

Definition of Cartesian Closed Category: Why do we need exponential objects?

There is only one comonoid object in Set

Vector space with continuum basis as an inverse limit of finite dimensional vector spaces

The free monad over an endofunctor on $\mathcal{Set}$

Prove categories equivalence using compositions of functors

If any locally constant sheaf on $X$ is constant, then $X$ is simply connected

Unique function whose product is a unique monoid element?

Type formation rules for a monad

criteria for equivalence to the trivial category $\ast$

law of compositions in a category

$C_n(X;G)$ is naturally isomorphic to $C_n(X) \otimes G$

When are two morphisms equal?

equivalence of functors categories

What exactly is in universe in category theory?

Trending Questions

Popular # Hahtags

Popular Questions