List questions from category-theory

Published on 13 Apr 2026 - 13:46

38

Views

What is the morphism function of the limit functor on diagrams?

Published on 10 Apr 2026 - 12:30

336

Views

How do you apply $\Sigma$-typing to the definition of a category? (new to type theory here)

Published on 14 Apr 2026 - 12:38

281

Views

Kan extension along any functor implies adjoint exists

Published on 25 Mar 2026 - 17:38

71

Views

Representation of $C^*$- algebras

Published on 12 Apr 2026 - 19:42

332

Views

A particular dualization of the Yoneda lemma fails to exist

Published on 07 Oct 2019 - 15:26

103

Views

Showing that functors restrict properly

Published on 25 Mar 2026 - 17:31

50

Views

Adjoints to $f^\ast: \mathscr P(L)\to \mathscr P(K)$

Published on 25 Mar 2026 - 17:39

190

Views

An adjunction $F\dashv G$ gives rise to an adjunction $G^\ast \dashv F^\ast$

Published on 25 Mar 2026 - 17:42

1.5k

Views

Category of Banach spaces

Published on 01 Apr 2026 - 22:36

60

Views

Show that if $G$ and $H$ are groups whose orders are coprime, then $BG$ indexed limits commute with $BH$-indexed colimits in $Set$.

Published on 12 Apr 2026 - 11:08

83

Views

Category theory, $(f\circ g)$ and $(g\circ f)$ are isomorphism, then ...

Published on 08 Oct 2019 - 17:57

293

Views

Internal hom: products and coproducts

Published on 13 Apr 2026 - 9:42

185

Views

A category with finite products or finite limits

Published on 09 Oct 2019 - 10:45

50

Views

Prove that |Λ/e| = |Λ|-|P|

Published on 14 Apr 2026 - 7:53

List Question

Homotopy category of quasicategory

What is the morphism function of the limit functor on diagrams?

How do you apply $\Sigma$-typing to the definition of a category? (new to type theory here)

Kan extension along any functor implies adjoint exists

Representation of $C^*$- algebras

A particular dualization of the Yoneda lemma fails to exist

Showing that functors restrict properly

Adjoints to $f^\ast: \mathscr P(L)\to \mathscr P(K)$

An adjunction $F\dashv G$ gives rise to an adjunction $G^\ast \dashv F^\ast$

Category of Banach spaces

Show that if $G$ and $H$ are groups whose orders are coprime, then $BG$ indexed limits commute with $BH$-indexed colimits in $Set$.

Category theory, $(f\circ g)$ and $(g\circ f)$ are isomorphism, then ...

Internal hom: products and coproducts

A category with finite products or finite limits

Prove that |Λ/e| = |Λ|-|P|

Trending Questions

Popular # Hahtags

Popular Questions