Questions tagged [adjoint-functors]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
0 answers
49 views

Left adjoints for functors out of a Deligne-Kelly tensor product

Let $k$ be a field, and let $\mathcal{C}$ be a locally finitely presentable $k$-linear categories. The Deligne-Kelly tensor product $\mathcal{C}\boxtimes\mathcal{C}$ is the 2-universal locally ...
user avatar
2 votes
0 answers
91 views

EM functor from monads to adjunctions

What is the action on $1$-cells of the functor sending a monad to its EM adjunction? What about the Kleisli adjunction? Let $A$ be the walking adjunction. Recall that an adjunction is the same thing ...
user avatar
  • 6,241
5 votes
1 answer
539 views

Adjunction between topological spaces and condensed sets

I am trying to prove that the functor \begin{align*} \mathrm{Top} &\longrightarrow \mathrm{Cond}(\mathrm{Set}) \\ X &\longmapsto \underline{X} \end{align*} admits a left adjoint and it is the ...
user avatar
2 votes
1 answer
166 views

Formula for the left adjoint of the nerve functor?

I recently stumbled upon a formula for the left adjoint of the nerve functor. Let $X$ and $Y$ be simplicial sets, then: \begin{equation} \mathbf{sSet}(X,Y) \cong\mathbf{sSet}(\varinjlim_{\Delta^n\...
user avatar
8 votes
1 answer
177 views

Algebraically-free monadicity theorem

The monadicity theorem characterises when a functor $u : \mathbf B \to \mathbf E$ is the forgetful functor from the category of algebras for some monad on $\mathbf E$ (up to an equivalence over $\...
user avatar
  • 5,035
2 votes
1 answer
166 views

Uniqueness of comparison functors

Given an adjunction $F\dashv G:\mathcal{C}\rightleftarrows\mathcal{D}$ with unit $\eta$ and counit $\epsilon$, we naturally have a monad $(G\circ F,\eta,G\epsilon_F)$ on $\mathcal{C}$ and a comparison ...
user avatar
  • 6,241
1 vote
0 answers
119 views

Reference for "adjunction up to twisting by autoequivalences"

Does anyone have any references on the following type of thing, which one might call "adjunction up to autoequivalences"? We have functors $F \colon C \to D$ and $F' \colon D \to C$, but ...
user avatar
  • 338
3 votes
0 answers
58 views

Adjoints to the forgetful functor from the $2$-category of monads

For the purpose of this post, we will identify a monad $T$ on a category $\mathcal{C}$ with a lax $2$-functor $T:{\bf 1}\to\mathfrak{Cat}$ such that $T(*)=\mathcal{C}$. There is an obvious forgetful ...
user avatar
  • 6,241
2 votes
0 answers
136 views

Morphisms of adjunctions

In Mac Lane a morphism of adjunctions $$(F\dashv G:\mathcal{C}\leftrightarrows\mathcal{D},\eta:1_\mathcal{C}\Rightarrow G\circ F,\epsilon:F\circ G\Rightarrow1_\mathcal{D})$$ $$\longrightarrow$$ $$(F'\...
user avatar
  • 6,241
8 votes
3 answers
1k views

Is this space the Stone–Čech compactification?

Let $\mathbb{S}$ be the Sierpiński space, the two pointed space $\{ 0, 1 \}$ with open sets $\{0 \}$, $\emptyset$, $\{ 0, 1 \}$. We give $\{ 0, 1 \}$ a partial order where $0 < 1$. Let $X$ be a ...
user avatar
  • 4,283
1 vote
1 answer
158 views

Adjoints of exact functors between semisimple abelian categories

Motivated by the answer to this question, I will ask the following question: Let $\mathcal{A}$ and $\mathcal{B}$ be small semisimple abelian categories. Let $U:\mathcal{A} \to \mathcal{B}$ be a ...
user avatar
4 votes
1 answer
152 views

Adjunctions with respect to profunctors

Let $P : W° \times Y \to \mathbf{Set}$ and $Q : X° \times V \to \mathbf{Set}$ be profunctors, and let $L : X \to W$ and $R : Y \to V$ be functors. Suppose that $$P(Lx, y) \cong Q(x, Ry)$$ natural in $...
user avatar
  • 5,035
2 votes
1 answer
150 views

Characterisation of functors whose left adjoint is Kleisli

This question is inspired by Characterization of functors whose right adjoint is monadic?. Let $F : \mathbf C \rightleftarrows \mathbf D : U$ be an adjunction, and suppose that we want to establish ...
user avatar
  • 5,035
3 votes
0 answers
72 views

Adjoining extensions in bicategories

Given a bicategory $\mathcal K$, is there a universal construction of a bicategory $\mathcal K'$ and faithful locally fully faithful pseudofunctor $\mathcal K \hookrightarrow \mathcal K'$ such that ...
user avatar
  • 5,035
9 votes
0 answers
462 views

Does Stokes theorem have anything to do with adjoint functors?

I notice some similarity between Stokes theorem in differential geometry and the definition of adjoint functors: in both cases, there is a 2-placed function (the $\operatorname{hom}$ functor, or the ...
user avatar
  • 91
3 votes
0 answers
161 views

Confused about the definition of the Kahn-Priddy map

The Kahn-Priddy map is defined in various papers as follows: Define $i:\mathbb {RP}^{n-1}\rightarrow O(n)$ by taking $\ell\in \mathbb {RP}^{n-1}$ to the reflection across $\ell^\perp.$ Define $j:O(n)\...
user avatar
4 votes
1 answer
380 views

Proof of derived tensor-hom adjunction

This is a cross-post from math.stackexchange, since I didn't get any answers there. As far as I know, for $R,S,V,W$ rings and $M$ an $(R,W)$-bimodule, $N$ an $(R,S)$-bimodule and $L$ an $(S,V)$-...
user avatar
  • 193
0 votes
0 answers
47 views

Proof that $e_{k,j}^{\tau}(q,p)=\overline{e_{j,k}^{\tau}(-q,-p)}$ in the spectral theory of the twisted Laplacian?

I leave some context for this question, this question is about the spectral analysis of the twisted Laplacian, I need some assistance in solving this problem. A fundamental ingredient in the ...
user avatar
15 votes
2 answers
1k views

Minimal set of assumptions for set theory in order to do basic category theory

Consider a normal first course on category theory (say up to and including the statement and proof) of the adjoint functor theorem (AFT). What are the minimal assumptions for the definition of a set ...
user avatar
6 votes
0 answers
206 views

Different levels of isomorphism/equivalence/adjunction between bicategories

What are all the different levels of 'isomorphism/equivalence/adjunction' we can have between bicategories? Do any of them 'collapse' to one-another? When working with $1$-categories, we have four ...
user avatar
  • 6,241
6 votes
1 answer
302 views

$\infty$-natural transformations and adjunctions

I'm having troubles proving these two related statements, which are immediate for 1-categories and should of course be true for $\infty$-categories: Given a natural transformation $\alpha: f \...
user avatar
3 votes
0 answers
32 views

Lax algebras for pseudomonads and monads in Kleisli bicategories for the induced pseudocomonad

In Day–Street's Lax monoids, pseudo-operads, and convolution, they remark without proof: There are general principles involved here. Suppose $(T, m, j)$ is a pseudomonad on any bicategory $\mathcal K$...
user avatar
  • 5,035
4 votes
0 answers
172 views

Is the restriction of an injective sheaf on a closed subscheme still injective?

Let $X$ be a Noetherian scheme, and let $i:Z\to X$ be the inclusion of a closed subscheme $Z$. Let $\mathcal{I}$ be an injective sheaf of modules on $X$. Question. Is $i^*\mathcal{I}$ still an ...
user avatar
  • 1,243
3 votes
1 answer
73 views

Does the right adjoint of a comonad induce the following comodule map?

Let $\mathcal{C}$ be a category and $\mathcal{G}=(G,\delta, \epsilon)$ be a comonad on $\mathcal{C}$. Here $G: \mathcal{C}\to \mathcal{C}$ is a functor, $\delta: G\to G^2$ and $\epsilon: G\to id_{\...
user avatar
  • 8,079
7 votes
1 answer
973 views

Reference request: Who first proved that right adjoints preserve limits?

One of the most famous and unifying theorems in category theory is that right adjoints preserve limits. I wonder: Who was the first one to prove this fact? The notion of adjoint functors is, of course,...
user avatar
3 votes
0 answers
252 views

All functors "are" left adjoints, and applications?

Throughout this thread, let us assume smallness. All functors "are" left adjoints Let $D \xrightarrow{F} C$ be any functor, which induces $$ D \xrightarrow{F} \hat{C}$$ by compositing the ...
user avatar
  • 4,005
6 votes
2 answers
268 views

Yves Diers's thesis ("Catégories localisables")

I am looking for a copy of Yves Diers's 1977 thesis Catégories localisables, which is the original reference for "multi-" category theory, such as multi-adjoints, multi-colimits, and so on. ...
user avatar
  • 5,035
7 votes
3 answers
384 views

Prof and the completion of Cat under right adjoints

In Bénabou's Les distributeurs, in which the bicategory of profunctors is introduced, Bénabou remarks (page 17, quoted below) that $\mathbf{Prof}$ may be viewed as the construction of a bicategory ...
user avatar
  • 5,035
10 votes
1 answer
367 views

Characterization of functors whose right adjoint is monadic?

Let $F: \mathcal A^\to_\leftarrow \mathcal B: U$ be an adjunction, and suppose we want to know whether the comparision functor $\mathcal B \to Alg^{UF}$ is an equivalence, where $Alg^{UF}$ is the ...
user avatar
  • 49.2k
5 votes
1 answer
171 views

Non-uniqueness of $C$ with $f_!(C) = f_*(1_{\mathcal{C}})$

$\newcommand{\Cc}{\mathcal{C}}$ $\newcommand{\Dd}{\mathcal{D}}$ $\newcommand{\Z}{\mathbb{Z}}$ $\newcommand{\Q}{\mathbb{Q}}$ $\newcommand{\tensor}{\otimes}$ $\newcommand{\colim}{\rm colim}$ $\...
user avatar
0 votes
1 answer
127 views

Sober spaces vs. spatial frames-a big picture

For any topological space $X$ one can consider the so called frame of all open subsets of $X$ to be denoted by $\mathcal{O}(X)$. If $f:X \to Y$ is continuous taking the inverse image we get the ...
user avatar
  • 8,660
6 votes
1 answer
374 views

Which direction of the adjoint functor theorem is most useful?

In the daily life of a working mathematician which direction of the adjoint functor theorem is more useful? Unpacking, does one find it more useful to: a) prove that a functor admits an adjoint and ...
user avatar
1 vote
0 answers
82 views

$\Gamma: \mathcal C \to \text{Fun}(\mathcal Z, \mathcal C)$ has a left adjoint iff all $F \in \text{Fun}(\mathcal Z, \mathcal C)$ has a colimit

Let $\mathcal Z$ be a small category and $\mathcal C$ any category. We then consider the category $\text{Fun}(\mathcal Z, \mathcal C)$ the category of functors from $\mathcal Z$ to $\mathcal C$ and ...
user avatar
  • 268
12 votes
1 answer
312 views

Can the category of S-local objects be reflective but not a localization by S?

This is cross-posted from MSE (and substantially re-written) after receiving no answers. Suppose $\mathcal C$ is a category and $S \subseteq \operatorname{Mor}(\mathcal C)$ is some collection of ...
user avatar
  • 295
16 votes
2 answers
917 views

Monoidal categories whose tensor has a left adjoint

Is there a name for monoidal categories $(\mathscr V, \otimes, I)$ such that $\otimes$ has a left adjoint $(\ell, r) : \mathscr V \to \mathscr V^2$? Have they been studied anywhere? What are some ...
user avatar
  • 5,035
3 votes
1 answer
370 views

Question about adjoint of forgetful functor from condensed abelian groups to condensed sets

There is a forgetful functor from condensed abelian groups to condensed sets. According to Scholze's notes, this has an adjoint $T \mapsto \mathbb{Z}[T]$ (which is the sheafification of the functor ...
user avatar
5 votes
2 answers
299 views

A specific property of bi-adjunction

Let $$I: C \rightleftarrows D: F$$ be biadjoint [1] functors between categories $C, D$. That is, $I$ is the left and also the right adjoint of $F$ (thus vice versa). Put in notations, it's $$ \cdots \...
user avatar
  • 4,005
2 votes
1 answer
264 views

Does a natural transformation of functors induce a natural transformation between their right adjoints?

Let $\mathcal{C}$ and $\mathcal{D}$ be two categories and $F$ and $G: \mathcal{C}\to \mathcal{D}$ be two functors. Suppose $F$ and $G$ have right adjoints $F^{\wedge}$ and $G^{\wedge}: \mathcal{D}\to ...
user avatar
  • 8,079
0 votes
0 answers
68 views

Left/right adjoints to core/Cartesian inclusions

Let $p:E\to B$ be a fibration and let $Cart(E)$ denote the subcategory of $E$ with all objects but only Cartesian arrows. Since all isomorphisms in $E$ are Cartesian, we naturally have inclusion ...
user avatar
  • 6,241
3 votes
1 answer
123 views

When is a finitary functor induced by Ind (co)continuous

Let $\mathbf C$ and $\mathbf D$ be small categories. $\mathrm{Ind}(\mathbf C)$ is an accessible category (by definition), and is locally finitely presentable (i.e. cocomplete, or equivalently complete)...
user avatar
  • 5,035
5 votes
0 answers
87 views

Is the group Hopf algebra left and right adjoint?

Suppose that $G$ is a group and $k$ is a field. Then it is well known that the group ring (group algebra) functor $k[\bullet]$ is left adjoint to the group of units functor, the latter of which ...
user avatar
  • 1,914
11 votes
2 answers
580 views

How to understand adjoint functors?

I asked this same question on MathUnderflow two weeks ago but didn't receive any answer. Now that I am thinking more, it feels like the most suitable place for this question is here. I have a good ...
user avatar
  • 683
1 vote
1 answer
89 views

Has the covariant Hom-functor of the category of additive categories a left adjoint?

Let $\mathsf{Add}$ denote the (strict) 2-category of small additive categories and additive functors. Because categories of additive functors are itself additive, we have for each additive category $\...
user avatar
  • 111
2 votes
1 answer
136 views

Admissibility of intersection of subcategories

Let $\mathscr{T}$ be a triangulated category, and $\mathscr{A}$ be a right admissible subcategory, which means that $i_{\mathscr{A}} : \mathscr{A} \rightarrow \mathscr{T}$ has a right adjoint $i_{\...
user avatar
5 votes
1 answer
136 views

Adjunctions capturing duality between ideals and saturated monoids in a commutative ring?

Let $R$ be a commutative ring. A saturated monoid in $R$ is a multiplicative submonoid $S\subset R$ which is closed under divisors, i.e $xy\in S\implies x\in S$. This is the converse of the analogous ...
user avatar
  • 9,655
1 vote
0 answers
169 views

Oplax monoidal functors of $\infty$-categories

In Higher Algebra, a notion of lax symmetric monoidal functors (in what follows, I'll remove the adjective "symmetric", but I'm mainly interested in the symmetric situation) is defined : if you have ...
user avatar
  • 8,035
2 votes
0 answers
111 views

Does the functor sending a DGA to its zeroth component admit a right adjoint?

Let $A$ be a ring and write $\underline{A}^\bullet$ for the associated trivial DGA. We have a functor $$\mathrm{ev}_0\colon\mathbf{dgAlg}_{\underline{A}^\bullet}\longrightarrow\mathbf{Alg}_A$$ sending ...
user avatar
  • 6,346
6 votes
0 answers
419 views

What is the left adjoint to base change of schemes?

Restriction of Scalars and Functoriality of Presheaves. Let $\phi\colon R\longrightarrow S$ be a morphism of rings. There is associated to $\phi$ a natural functor from $\mathrm{Alg}_S$ to $\mathrm{...
user avatar
  • 604
13 votes
2 answers
1k views

Notation for "the" left adjoint functor

As far as I know, there is no "official" notation for the left adjoint of a functor $F : \mathcal{C} \to \mathcal{D}$ if it exists. I have seen the notation $F^*$ sometimes, but this looks only nice ...
user avatar
4 votes
2 answers
431 views

Subfunctor of internal Hom

Let $\mathcal{H}$ be a Hopf algebra over $\mathbb{C}$. Let $\textrm{mod}_\mathcal{H}$ be the monoidal abelian category of finite-dimensional modules over $\mathcal{H}$. Fix $X\in\textrm{Obj}(\textrm{...
user avatar