The tag has no usage guidance.

167 questions
Filter by
Sorted by
Tagged with
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 ...
91 views

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 ...
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 ...
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\...
177 views

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 ...
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)...
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 ...
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 ...
1 vote
89 views

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 ...
1 vote
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 ...
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 ...