All Questions
1 question
7
votes
2
answers
644
views
Existence of nontrivial categories in which every object is atomic
An object $X$ of a cartesian closed category $\mathbf C$ is atomic if $({-})^X \colon \mathbf C \to \mathbf C$ has a right adjoint (hence is also internally tiny). Intuitively, atomic objects are &...
- 10.7k