List questions from category-theory

Published on 28 Mar 2026 - 7:33

535

Views

Defining Category of Adjunctions

Published on 25 Mar 2026 - 1:34

233

Views

Why definition of categorical product works for $C'=$(Int, Int, Bool) and $C=($Int, Bool$)$?

Published on 15 Jul 2018 - 11:56

702

Views

Hom functor preserving limits - "natural isomorphism"

Published on 16 Jul 2018 - 7:18

173

Views

Can we "integrate" functors?

Published on 26 Mar 2026 - 23:48

277

Views

Problem in understanding principle of duality in category theory.

Published on 17 Jul 2018 - 4:57

161

Views

Is there such thing as a morphism of natural maps and what does it look like?

Published on 22 Mar 2026 - 17:08

543

Views

When does $\mathrm{Ext}^\ast(K,{-})$ preserve filtered colimits?

Published on 17 Jul 2018 - 17:24

267

Views

Is there a natural category in which the morphisms are derivative operators?

Published on 25 Mar 2026 - 1:27

342

Views

extending functors

Published on 27 Mar 2026 - 3:56

111

Views

On what structural level should one think of $R^3$

Published on 18 Jul 2018 - 16:42

464

Views

Is the category of pointed sets cartesian closed?

Published on 18 Jul 2018 - 18:18

103

Views

When is a monoidal structure on $\mathrm{Mod}_A$ induced by a bialgebra structure on $A$?

Published on 27 Mar 2026 - 12:07

131

Views

In Homotopy Type Theory, where does the lambda expression reside?

Published on 26 Mar 2026 - 9:19

666

Views

When a left adjoint functor is exact?

Published on 25 Mar 2026 - 11:09

List Question

Can we see FdHlb as a 2Category of groupoids?

Defining Category of Adjunctions

Why definition of categorical product works for $C'=$(Int, Int, Bool) and $C=($Int, Bool$)$?

Hom functor preserving limits - "natural isomorphism"

Can we "integrate" functors?

Problem in understanding principle of duality in category theory.

Is there such thing as a morphism of natural maps and what does it look like?

When does $\mathrm{Ext}^\ast(K,{-})$ preserve filtered colimits?

Is there a natural category in which the morphisms are derivative operators?

extending functors

On what structural level should one think of $R^3$

Is the category of pointed sets cartesian closed?

When is a monoidal structure on $\mathrm{Mod}_A$ induced by a bialgebra structure on $A$?

In Homotopy Type Theory, where does the lambda expression reside?

When a left adjoint functor is exact?

Trending Questions

Popular # Hahtags

Popular Questions