The tag has no usage guidance.

learn more… | top users | synonyms

0
votes
1answer
98 views

Adjointable Abelian Monoidal Functor

Given two abelian monoidal categories ${\cal C,D}$ (where the monoidal operation is bilinear) and an additive monoidal functor $F:{\cal C} \to {\cal D}$. Will $F$ always admit an adjoint?
11
votes
1answer
323 views

Verifying that $\epsilon^!$ is indeed the right adjoint of $\epsilon_*$ in the context of algebraic stacks

The question is about the last paragraph of Remark 12.4.3 in the book on algebraic stacks by Laumon and Moret-Bailly. Let $S$ be a (quasi-separated) scheme and let $\mathscr{X}$ be an algebraic stack ...
0
votes
0answers
47 views

About cartesian closure of lax.functors categories

Let $\mathscr{A}$ a category and $F, G, H: \mathscr{A}^{op}\to CAT$ lax.functors. I wish find a possible "natural correspondence" between categories: $[F\times G, H]_O \leftrightarrow [F, H^G]_O$ ...
17
votes
8answers
967 views

Examples of categorical adjunctions in analysis, Lie theory, and differential geometry?

In introductory texts on category theory, it seems like the majority of examples come from algebraic topology, algebra, and logic. Are there any good examples of adjunctions in analysis, Lie theory, ...
2
votes
0answers
72 views

Notions of/References for freely generated (symmetric) monoidal categories

We often describe a category by giving a (directed, multi-)graph and freely generating a category of paths. I would like to know to what degree this intuition generalizes to monoidal categories, and ...
15
votes
1answer
562 views

Lurie's approach to the bar-cobar adjunction

I've been trying to read Jacob Lurie's approach to the bar-cobar constructions (Higher algebra §5.2 in the 2014-09 version) but I don't recognize what I know about these constructions. I wonder if ...
6
votes
2answers
233 views

Exactness of an additive left Kan extension

Let $\phi:R\to S$ be a flat ring homomorphism and consider the induced adjoint pair $$\phi_!:R-Mod\rightleftarrows S-Mod:\phi^*,$$ where $\phi_!=(S\otimes_R -)$. The right adjoint $\phi^*$ is easily ...
3
votes
1answer
192 views

Functoriality of the adjoint functor construction?

Say we have a category $\mathcal C$, and for every category $\mathcal A$, we have a category $\mathcal D_{\mathcal A}$ and a functor $F_{\mathcal A} : \mathcal D_{\mathcal A} \to \mathcal C$, and, ...
3
votes
0answers
175 views

Map of adjunctions

The following question must have been asked dozens of times, but I do not recall any non-trivial results. Consider an adjoint square where the arrows indicate directions of $F, G, H, K$. ...
3
votes
0answers
85 views

Cofree Lie Coalgebra

I have problems finding anything about the cofree Lie coalgebra functor $\mathcal{L}ie^c$ out there. Basically all I found was that it appears in Harrison cohomology and that, given a ...
1
vote
1answer
135 views

Are the pullback functors of adjoint functors also adjoint?

Given adjoint functors $F: A \to B$, $G: B \to A$, if you then take their pullback functors $F^* : Set^B \to Set^A$ and $G^* : Set^A \to Set^B$ given by pre-composition, are these two also adjoint ...
26
votes
5answers
2k views

Is there an explicit construction of a free coalgebra?

I am interested in the differences between algebras and coalgebras. Naively, it does not seem as though there is much difference: after all, all you have done is to reverse the arrows in the ...
3
votes
1answer
232 views

When are induction and coinduction of representations of Lie groups isomorphic? When they are compact? Semisimple?

This is in a sense a follow up on the popular question Induction and Coinduction of Representations, where this particular question is one of several points, and it is neglected. It seems that the ...
1
vote
1answer
294 views

Category which has no non-trivial adjoint functors

Does there exist a category C which such that there is no functor $F:C \rightarrow D$ with $D\not\cong C$ which has a left (or right) adjoint?
7
votes
1answer
266 views

The category of categories and adjunctions

What is known about the category that has small categories as objects and adjunctions as morphisms? Obviously, it has neither terminal nor initial objects. But what about other kinds of limits? Are ...
6
votes
1answer
326 views

[Reference Request] The Definition of Adjoint Functors between dg-categories

Let $A$ and $B$ be two dg-categories, $F: A \rightarrow B$ and $G: B \rightarrow A$ are two functors. Then what is the definition that $F$ and $G$ form an adjoint pair? In my mind $F\dashv G$ ...
3
votes
1answer
143 views

How to construct a free 2-group on a groupoid?

Let G be a groupoid. I'm wondering how to construct the free 2-group on G. By the free 2-group I mean a 2-group $\mathcal{F}\left(G\right)$ equipped with a functor ...
-1
votes
2answers
199 views

Basic category theory: Universality of adjunction unit is justified by Yoneda Proposition in Mac Lane's text [closed]

Background I am reviewing some category theory, which I did not learn too well the first time around. One text I am using is Mac Lane's. Near the beginning of the chapter on adjunctions (pg 80), he ...
2
votes
1answer
107 views

Simple technical adjunction question

Suppose $F,G$ are adjoint, and $\epsilon:F\circ G\rightarrow Id$ is the counit. Is it always true that$$ Id_{FG}\epsilon=\epsilon Id_{FG} $$ as maps from $FGFG$ to $FG$? It's true if you precompose ...
5
votes
1answer
307 views

Not quite adjoint functors

What are standard and/or natural examples of pairs of functors $F:C\leftrightarrows D:G$ and unnatural bijections $\hom_D(Fx,y)\to\hom_C(x,Gy)$ for all $x$ and $y$? Can one do this so that the ...
2
votes
1answer
235 views

A Criterion for a morphism to be a counit of an Adjunction

Suppose we have two functors $F:C\leftrightarrow D:G$ and a morphism $\varepsilon:FG\rightarrow\operatorname{Id}_D$. I am looking for a way to check whether $\varepsilon$ is the counit of an ...
4
votes
4answers
821 views

Kan extensions and the yoneda embedding.

[Edit: For a category $C$ let $C^\wedge$ denote the category of presheaves on $C$.] Let $f:C\to D$ be a functor. Precomposition with $f^{op}$ induces a functor $f^\wedge:D^\wedge \to C^\wedge$. This ...
-1
votes
1answer
175 views

irreducible Classical Lie algebras [closed]

which submodule of FG-module of a lie algebra $L$ will be determined I want to check that how we can find out a classical lie algebra like $D_4$ and $E_6$ are irreducible?
7
votes
0answers
314 views

bar-cobar or cobar-bar

What is the standard or best reference for the adjointnes of bar and cobar constructions?
1
vote
3answers
455 views

Another adjoint pair: Definable sets and set-builder formulas

I see adjointness between the two concepts of "being a definable set" and "being a set-builder formula": A set $X$ is definable when there is a formula $\phi(x)$ such that $X = \lbrace x : ...
3
votes
2answers
342 views

Why is $Lex(\mathcal{A},\mathcal{Ab})$ abelian? Does $Lex(\mathcal{A},\mathcal{Ab})\rightarrow Func(\mathcal{A},\mathcal{Ab})$ admit a left-adjoint?

What is the best way to show, that $Lex(\mathcal{A},\mathcal{Ab})$ is abelian, where $\mathcal{A}$ is an abelian category and $\mathcal{Ab}$ is the category of abelian groups from scratch? There is ...
27
votes
4answers
2k views

Does a scheme have a “separification”?

Background: (1) If C and D are categories and there is a forgetful functor U:C→D, then a C-ification functor F:D→C is an adjoint to U. For example, the (left) adjoint to the forgetful ...
3
votes
1answer
251 views

Categories where morphisms are pairs of adjoint functors

Is there a particular name for those categories (of categories) where morphisms "come as adjoint pairs", as in the case of toposes and model categories? Is there any attempt to study them as general ...
10
votes
3answers
467 views

Is there a monad on Set whose algebras are Tychonoff spaces?

Compact Hausdorff spaces are algebras of the ultrafilter monad on Set. Is the category of Tychonoff spaces also monadic over Set?
1
vote
1answer
501 views

Relating eigenvectors of two self-adjoints operators

Suppose I have a self-adjoint operator $\mathbf{L}$ which I seperate in two parts which are themselves self-adjoint. I write this in terms of their eigenvalues/eigenvectors: $\mathbf{v} \Lambda ...
2
votes
1answer
160 views

admissible subcategories over non algebraically closed fields

Let $X$ be a smooth projective variety over a field $k$ and $D^b(X)$ its bounded derived category. Let $\bar{X}$ the base change to $\bar{k}$. Let $A$ be a triangulated subcategory of $D^b(X)$ that ...
2
votes
1answer
168 views

Is there an analog of adjoint functor theorem for adjunctions of two variables?

Let $L:\mathscr A \times \mathscr B \longrightarrow \mathscr C$ and $R_1:\mathscr B^{op} \times \mathscr C \longrightarrow \mathscr A$ be two functors such that there is a bijection $$ \mathscr ...
5
votes
0answers
354 views

Constructing pointwise Kan extensions as adjoints to some functor

Background I'm working on formalizing some category theory in Coq at https://bitbucket.org/JasonGross/catdb. Currently, I'm in the process of formalizing pointwise Kan extensions. Partly because ...
3
votes
0answers
196 views

Do generalizations of adjoint functors, such as adjunctions in 2-categories, and multivariable adjunctions, have formulations in terms of something like universal morphisms?

I recently learned about two-variable adjunctions and multi-variable adjunctions, and about adjunctions in 2-categories. The nCatLab page on two-variable adjunctions talks about how to go from the ...
1
vote
1answer
202 views

Can we characterize endofunctors which admit a monad structure?

In answering this MO question, the issue was raised of characterizing when a given endofunctor $R:C\to C$ has the form $U\circ F$ where $F:C\to D$ is left adjoint to $U:D\to C$, i.e. which admit a ...
2
votes
2answers
635 views

Free monad or monad defined from an adjunction.

My first question here. Accordingly to M. Barr "Coequalizers and free triples" by a free triple (or free monad) generated by an endofunctor $R: X\rightarrow{X}$ we mean a triple $T=(T,\eta,\nu)$ and ...
7
votes
1answer
327 views

Is every functor inducing a homotopy equivalence a composition of adjoint functors?

It was asked here whether every functor is a composition of adjoint functors. The answer is no, because all adjoint functors induce homotopy equivalences on the nerve, and we can construct functors ...
5
votes
1answer
466 views

Adjoint Functors as Initial Objects of Some Category

Just as universal arrows can be characterized as initial objects of some appropriate comma category, and (co)limits can be characterized as (initial) terminal objects of the appropriate (co)cone ...
3
votes
1answer
244 views

A Question on Auto-Adjoint functors

Let $F: \mathscr{C}\to \mathscr{C}^{op}$, with an adjoint $G$, and $\eta: 1_\mathscr{C} \Rightarrow G\circ F $ and $\varepsilon: F\circ G\Rightarrow 1_{\mathscr{C}^{op}}$ with components (in ...
20
votes
2answers
1k views

Is every functor a composition of adjoint functors?

My understanding of Ben's answer to this question is that even though associated graded is not an adjoint functor, it's not too bad because it is a composition of a right adjoint and a left adjoint. ...
10
votes
1answer
432 views

Fullness of pullback functor in algebraic geometry

Given $f:X\to Y$ a morphism of schemes (or stacks if it's not harder), I am interested in a geometric reformulation of the condition that the functor $f^*:D^b(Coh(Y))\to D^b(Coh(X))$ is full. I can ...
24
votes
2answers
861 views

Properties of functors and their adjoints

I am interested in collecting in this question a list of properties a functor $F$ may have and what those properties imply for left and right adjoints, $F^L$ and $F^R$, assuming they exist. There are ...
2
votes
3answers
532 views

How to construct pair of adjoint functors from category A to category A_D(category of diagrams)

I wonder whether following statements holds If A is an abelian category(or quasi abelian category) having enough projectives, then category of pointed diagram(which means diagram has final object,or ...
2
votes
1answer
735 views

Adjunctions between derived functors

Given an adjunction $F\dashv G$ between functors between Abelian categories, we know that $F$ is right exact and $G$ is left exact so there are derived functors $LF$ and $RG$ between (bounded above, ...
1
vote
1answer
582 views

a “self-dual” adjunction

Is there a name for $(U,\eta)$ such that $(\eta, \eta^{op}):U^{op}\dashv U$ (is an adjunction). To clarify — $C:category$, $(I,I^{op})$ is the contravariant isomorphism with $I:C^{op}\to C$, ...
4
votes
1answer
341 views

On the barycentric subdivision of a poset

Hi everybody, I'm interested in the barycentric subdivision of a poset $P$, defined as the face poset of the corresponding order complex $\mathcal F(\Delta(P))$ (or alternatively, the poset of chains ...
19
votes
2answers
979 views

When and why do universal objects have extra properties?

I'm interested in situations where universal objects come with more structure than their definitions suggest. A classic case of this is where the free abelian group on one element has a ring ...
2
votes
2answers
369 views

Reference request: 2-Monads and 2-Adjunctions

Given a category $\mathcal C$ together with a monad $T$ on $\mathcal C$, we get an adjunction $$\mathcal C^T(T-,-)\cong \mathcal C(-,\mathrm{For}-).$$ Is the same true for 2-monads on a 2-category?
33
votes
5answers
4k views

What is an intuitive view of adjoints? (version 1: category theory)

In trying to think of an intuitive answer to a question on adjoints, I realised that I didn't have a nice conceptual understanding of what an adjoint pair actually is. I know the definition (several ...
11
votes
3answers
508 views

Is every saft category cocomplete?

Here is a word that I think should be adopted by the category theorists. (If there is another synonymous word already in existence, please let me know.) Definition: A category $C$ is saft if every ...