Questions tagged [abstract-nonsense]
Arguments working entirely at a high level of abstraction, particularly category-theoretic arguments.
6 questions with no upvoted or accepted answers
4
votes
0
answers
319
views
Polynomial objects in any concrete category
EDIT: The original question had a trivial answer: it's just a coproduct. New question below
New Question: As shown below, in the category of commutative unital rings, the coproduct of a ring $R$ with $...
2
votes
0
answers
215
views
Proving that the functor induced by some inclusion functor has a left adjoint
Let $\mathcal{A}$ be an abelian category and $\mathcal{B}\subseteq \operatorname{Proj}(\mathcal{A})$ be a full additive subcategory of $\mathcal{A}$. We define the full subcategory $\mathcal{B(A)}$ of ...
2
votes
0
answers
189
views
Relation between push forward by diagonal morphism and higher direct image functors
Let $f : X \to Y$ be a morphism between two Noetherian schemes. Then $f_*$(respect to $R^1f_*$) sends coherent sheaves to coherent sheaves if and only if $f$ is universally closed (respect to ...
2
votes
0
answers
105
views
What should one "do" to "strictify" a triangle of transformations coming from a lax commutative triangle of functors?
I would like to apologize for this rather stupid abstract nonsense question.
Let $h=f\circ g$ for composable functors $f,g$; assume that there exist left or right adjoints to $f$ and $g$. Then it ...
1
vote
0
answers
60
views
Comments/references on an obscure category of "rudimentary representations"
Consider a finite toset (cool word) $A=\{a_1<\ldots<a_N\}$. Let an ordered monomial be a finite formal product $b_1\ldots b_M$ with $b_i\in A$ and $b_i\le b_{i+1}$.
Consider the following ...
0
votes
0
answers
1k
views
Finite separable extension of fields imply the number of intermediate subfield is finite
The proof of statements either uses Galois theory or Artin primitive element theorem.I would like to know whether there is a proof without using these.The reason to avoid using Galois theory is that ...