Exponential of monos over terminal object

sheaf-theory category-theory topos-theory

Solution 1:

Yes, $V$ may be arbitrary. So long as $U$ is subterminal $U^V$ will also be subterminal. In other words, you have shown that the class of subterminal objects is an exponential ideal.

Related

prove that there are no natural numbers for which $15x^2-7y^2=9$ [duplicate]
Do orthonormal changes of basis affect the inner product?
Let $G$ be a group and $K\le G, H\le G$. If there exist $x,y\in G$ such that $xK\subseteq yH$, then $K\le H$.
Is there an algebraic way to estimate the x value? [duplicate]
How many hexagons can be made by joining the vertices of a 15 sided polygon if none of the sides of the hexagon is also the side of the 15-gon.
Is this a studied recurrence?
What chain complex is denoted by a single $R$?
Is the series $\sum_{n=1}^\infty\frac{1}{n}\left(\sum_{k=1}^n\frac{1}{k}\left(\frac{1}{2}\right)^{n-k}\right)$ convergent?
Proof of Zorn's lemma clarification
Are exponential functions fractals?
$T: \mathbb{C}_{2020}[x]\to \mathbb{C}_{2020}[x]$, $\sum_{i=0}^{2020}a_ix^i \mapsto \sum_{i=0}^{2020}a_i(x-1)^i$
Why use a matrix?