hasFunctoriality

3 triples
GPTKB property

Random triples
Subject Object
gptkb:K-theory_of_C*-algebras functor from C*-algebras to abelian groups
gptkb:topological_cyclic_homology yes
gptkb:crystalline_cohomology yes