Is there any implementation difference between the two default taxonomy types, ‘tag’ and ‘category’? I appreciate that it makes sense to use them differently, but I just want to check that as far as Grav is concerned, they are different instances of the same concept.
There is no difference from Grav’s perspective. A taxonomy is simply a mapping. The names are totally arbitrary.