Algebraic K-theory is a fundamental invariant for rings but challenging to compute. The Dennis trace displays (topological) Hochschild homology as an approximation of K-theory that is computationally effective. A dual invariant for coalgebras called (topological) coHochschild homology exists and in this talk, I show how it connects to K-theory. We provide a dual notion of the Hattori-Stallings trace in the context of coalgebras and we outline how a Dennis trace could be defined for topological coHochschild homology. We employ bicategorical methods of Kate Ponto. This would lead to new computationally effective tools for K-theory.