Tracing Anonymity with Coalgebras door