query: Existence of a cofree functor (right adjoint)
positive_passages.docid: 141714
positive_passages.text: Existence of a functor $\mathsf{Sets} \to \mathsf{Groups}$ that admits a left adjoint
negative_passages.docid: 123130
negative_passages.text: Showing an isomorphism between exterior products of a free module
negative_passages.docid: 153886
negative_passages.text: Existence of antiderivative on a part $I$ of $\mathbb{R}$
negative_passages.docid: 137563
negative_passages.text: Can a left coset be strictly contained in a right coset?
negative_passages.docid: 123282
negative_passages.text: free product with amalgamation is correspondingly a pushout
negative_passages.docid: 76314
negative_passages.text: Idealizer of one-sided ideal
negative_passages.docid: 122012
negative_passages.text: The ideal $(x,y)$ is not a free $K[x,y]$-module
negative_passages.docid: 2719
negative_passages.text: Why isn't an infinite direct product of copies of $\Bbb Z$ a free module?
negative_passages.docid: 93342
negative_passages.text: Show that $\neg$ and $\wedge$ form a functionally complete collection of logical operators.
negative_passages.docid: 41044
negative_passages.text: Equivalence of $a \rightarrow b$ and $\lnot a \vee b$
negative_passages.docid: 60655
negative_passages.text: $\ker T\subset \ker S\Rightarrow S=rT$ when $S$ and $T$ are linear functionals
negative_passages.docid: 145462
negative_passages.text: On the canonical isomorphism between $V$ and $V^{**}$
negative_passages.docid: 123242
negative_passages.text: Half exact functor which is neither right exact nor left exact
negative_passages.docid: 112807
negative_passages.text: Show that no application $f: \mathbb{R}^2 \rightarrow \mathbb{R}$, of $C^k$ class, $k \geq 1$ can be injective
negative_passages.docid: 103427
negative_passages.text: When is $\operatorname{Hom}_A(M,N)$ finitely generated?
negative_passages.docid: 145758
negative_passages.text: Are submodules of finitely generated free modules always free?
negative_passages.docid: 7441
negative_passages.text: Hom is a left-exact functor