List questions from adjoint-functors

Published on 15 Mar 2022 - 13:38

90

Views

Does $\mathrm{Fun}$ preserve adjunctions?

Published on 01 Apr 2022 - 6:22

104

Views

Terminology: "One-sided adjoint equivalence"

Published on 24 Apr 2022 - 10:57

76

Views

The difference between totally (large) cocontinuous functors and small cocontinuous functors

Published on 23 Feb 2026 - 8:37

55

Views

Show that $(L, \Delta)$ is an adjunction.

Published on 09 May 2022 - 11:23

76

Views

How do I show that, if $fp=fq$ then $p=q$, in the context of $f$ being the counit of an adjunction and $p,q$ natural transformations?

Published on 11 May 2022 - 12:11

40

Views

Is my proof that an equivalence of categories induced and adjunction correct?

Published on 11 May 2022 - 16:46

142

Views

2-categorical universal property of the classifying category of a type theory

Published on 14 May 2022 - 13:42

186

Views

Why is a closed monidal category enriched over itself?

Published on 26 Mar 2026 - 1:14

164

Views

What is the right adjoint to the functor $\sf{Psh}\to\sf{Set}$ which evaluates the presheaf on the whole space?

Published on 20 May 2022 - 17:05

98

Views

When representables are adjoints

Published on 26 Mar 2026 - 7:55

93

Views

On Proposition $13.27$ of Adamek: full reflective subcategories are limits closed iff they are replete?

Published on 28 May 2022 - 11:46

110

Views

Bimodule functors and left/right adjunctions

Published on 25 Mar 2026 - 10:52

47

Views

On an (possibly) equivalent way of expressing closure under limits for a full subcategory

Published on 30 May 2022 - 14:29

147

Views

Adjunctions and dualizable objects in symmetric monoidal category

Published on 31 May 2022 - 23:00

List Question

Examples of a category without duals?

Does $\mathrm{Fun}$ preserve adjunctions?

Terminology: "One-sided adjoint equivalence"

The difference between totally (large) cocontinuous functors and small cocontinuous functors

Show that $(L, \Delta)$ is an adjunction.

How do I show that, if $fp=fq$ then $p=q$, in the context of $f$ being the counit of an adjunction and $p,q$ natural transformations?

Is my proof that an equivalence of categories induced and adjunction correct?

2-categorical universal property of the classifying category of a type theory

Why is a closed monidal category enriched over itself?

What is the right adjoint to the functor $\sf{Psh}\to\sf{Set}$ which evaluates the presheaf on the whole space?

When representables are adjoints

On Proposition $13.27$ of Adamek: full reflective subcategories are limits closed iff they are replete?

Bimodule functors and left/right adjunctions

On an (possibly) equivalent way of expressing closure under limits for a full subcategory

Adjunctions and dualizable objects in symmetric monoidal category

Trending Questions

Popular # Hahtags

Popular Questions