Existence of adjoint of an antilinear operator, time reversal The time reversal operator $T$ is an antiunitary operator, and I saw $T^\dagger$ in many places (for example when some guy is doing a "time reversal" $THT^\dagger$), but I wonder if there is a well-defined adjoint for an antilinear operator?
Suppose we have an antilinear operator $A$ such that 
$$
A(c_1|\psi_1\rangle+c_2|\psi_2\rangle)=c_1^*A|\psi_1\rangle+c_2^*A|\psi_2\rangle
$$
for any two kets $|\psi_1\rangle,|\psi_2\rangle$ and any two complex numbers $c_1^*, c_2^*$.
And below is my reason for questioning the existence of $A^\dagger$:
Let's calculate $\langle \phi|cA^\dagger|\psi\rangle$.
On the one hand, obviously 
$$
\langle \phi|cA^\dagger|\psi\rangle=c\langle \phi|A^\dagger|\psi\rangle.
$$
But on the other hand, 
$$
\langle \phi|cA^\dagger|\psi\rangle =\langle \psi|Ac^*|\phi\rangle^*=\langle \psi|cA|\phi\rangle^*=c^*\langle \psi|A|\phi\rangle^*=c^*\langle \phi|A^\dagger|\psi\rangle,
$$
from which we deduce that $c\langle \phi|A^\dagger|\psi\rangle=c^*\langle \phi|A^\dagger|\psi\rangle$, almost always false, and thus a contradiction!

So where did I go wrong if indeed $A^\dagger$ exists?
 A: I) First of all, one should never use the Dirac bra-ket notation (in its ultimate version where an operator acts to the right on kets and to the left on bras) to consider the definition of adjointness, since the notation was designed to make the adjointness property look like a mathematical triviality, which it is not. See also this Phys.SE post.
II) OP's question(v1) about the existence of the adjoint of an antilinear operator is an interesting mathematical question, which is rarely treated in textbooks, because they usually start by assuming that operators are $\mathbb{C}$-linear. 
III) Let us next recall the mathematical definition of the adjoint of a linear operator. Let there be a Hilbert space $H$ over a field $\mathbb{F}$, which in principle could be either real or complex numbers, $\mathbb{F}=\mathbb{R}$ or $\mathbb{F}=\mathbb{C}$. Of course in quantum mechanics, $\mathbb{F}=\mathbb{C}$. In the complex case, we will use the standard physicist's convention that the inner product/sequilinear form $\langle \cdot | \cdot \rangle$ is conjugated $\mathbb{C}$-linear in the first entry, and $\mathbb{C}$-linear in the second entry.
Recall Riesz' representation theorem: For each continuous $\mathbb{F}$-linear functional $f: H \to \mathbb{F}$ there exists a unique vector $u\in H$ such that
$$\tag{1} f(\cdot)~=~\langle u | \cdot \rangle.$$
Let $A:H\to H$ be a continuous$^1$ $\mathbb{F}$-linear operator. Let $v\in H$ be a vector. Consider the continuous $\mathbb{F}$-linear functional 
$$\tag{2} f(\cdot)~=~\langle v | A(\cdot) \rangle.$$ 
The value $A^{\dagger}v\in H$ of the adjoint operator $A^{\dagger}$ at the vector $v\in H$ is by definition the unique vector $u\in H$, guaranteed by Riesz' representation theorem, such that 
$$\tag{3} f(\cdot)~=~\langle u | \cdot \rangle.$$
In other words, 
$$\tag{4} \langle A^{\dagger}v | w \rangle~=~\langle u | w \rangle~=~f(w)=\langle v | Aw \rangle. $$
It is straightforward to check that the adjoint operator $A^{\dagger}:H\to H$ defined this way becomes an $\mathbb{F}$-linear operator as well. 
IV) Finally, let us return to OP's question and consider the definition of the adjoint of an antilinear operator. The definition will rely on the complex version of Riesz' representation theorem. Let $H$ be given a complex Hilbert space, and let  $A:H\to H$ be an antilinear continuous operator. In this case, the above equations (2) and (4) should be replaced with
$$\tag{2'} f(\cdot)~=~\overline{\langle v | A(\cdot) \rangle},$$
and
$$\tag{4'} \langle A^{\dagger}v | w \rangle~=~\langle u | w \rangle~=~f(w)=\overline{\langle v | Aw \rangle}, $$
respectively. Note that $f$ is a $\mathbb{C}$-linear functional.
It is straightforward to check that the adjoint operator $A^{\dagger}:H\to H$ defined this way becomes an antilinear operator as well.  
--
$^{1}$We will ignore subtleties with discontinuous/unbounded operators, domains, selfadjoint extensions, etc., in this answer.
