Search Results

Let $P:\textbf{Set}\to\textbf{Set}$ be the contravariant power set functor, and put $P^n:=P\circ\cdots\circ P$ ($n$ factors), so that $P^n$ is a covariant (resp. contravariant) endofunctor of $\textbf …

Let $\mathcal C$ be a category which is equivalent to the category $\mathcal C^{\mathcal C}$ of its endofunctors. Is $\mathcal C$ necessarily equivalent to a category having exactly one object and …

I asked this question on Mathematics Stackexchange, but got no answer. Let $\mathcal A$ and $\mathcal B$ be nonempty categories whose categories $\mathcal A^{\mathcal A}$ and $\mathcal B^{\mathcal B} …

This is a followup to this question. (Matt Feller also mentioned this followup in a comment to the question linked to above.) For any category $\mathcal C$ write $\mathcal C^{\mathcal C}$ for the cat …

If $\mathcal C$ is the category attached to the ordered set $(\mathbb R,\le)$, then $[\operatorname{Ob}(\mathcal C)]$ coincides with the set $\mathbb R$ and $[\operatorname{Ob}(\mathcal C^{\mathcal C} …

I asked a closely related question on Mathematics Stackexchange but got no answer. Let $\mathbf1$ be a category with exactly one object and one morphism, and, for any category $\mathcal C$, write $\ma …

This is a partial answer. I tried to mimic the proof of Theorem 3 in [1] Complete lattices and the generalized Cantor theorem by Roy O. Davies, Allan Hayes and George Rousseau, published in Proc. Am …

I asked this question on Mathematics Stackexchange but got no answer. Are there endofunctors $F$ and $G$ of the category of finite sets such that there are infinitely many natural transformations fro …

Let $K$ be a field. Are there non-scalar endomorphisms of the endofunctor $$ V\mapsto V^{**}/V $$ of the category of $K$-vector spaces? I asked a related question on Mathematics Stackexchange, but …

In this post a presheaf is by definition a contravariant functor from a given category to the category of sets. (See Definition 1.2 in Préfaisceaux by Grothendieck and Verdier.) If we have to choose …

Here is the statement of Exercise 8.4 p. 202 of [KS] Categories and Sheaves by Kashiwara and Schapira: (a) Let $\mathcal C$ be an additive category and $\mathcal S$ a right multiplicative system …

Here is a proof of the "plausible claim" in Will Sawin's answer. The "plausible claim" is: "There are no nonzero canonical (i.e. functorial) elements of $V^{*a}\otimes V^{*b}$ for any $a,b$." Here we …

I asked this question on Mathematics Stackexchange, but got no answer. Let $A$ and $B$ be noetherian commutative rings with one, and let $f:A\to B$ and $g:B\to A$ be epimorphisms. Are the rings …

This question was asked, but not answered, on Mathematics Stackexchange. [In this post "ring" means "commutative ring with one".] Let $A$ be a noetherian ring, and let $f:A\to A$ be an endomorphism …

It seems to me the references in this Mathematics - Stack Exchange answer contain the requested information. EDIT 1. Here is an excerpt from Hyman Bass's book Algebraic K-Theory, W. A. Benjamin (196 …