Go back to the tag's page.
Tags: Added new tags
Add some stuff to algebraization statements Fully faithfulness was missing...