v1.13.0 - Various additions to functors

Features 🧪

• Check that link targets exist by @ScriptRaccoon in #251
• Consistent clearing of deduced data by @ScriptRaccoon in #253
• Explain dual properties by @ScriptRaccoon in #255
• Support tags for properties of categories and functors by @ScriptRaccoon in #259
• Show functors on category detail page, and improve functor notation by @ScriptRaccoon in #261

Refactor 🧹

• Identify properties by ID and type by @ScriptRaccoon in #263

Bugs 🐛

• Save search after search results page loads by @ScriptRaccoon in #252

Database 🔋

• Various additions to functors by @ScriptRaccoon in #246
• Add the fundamental group functor by @ScriptRaccoon in #256
• Add various properties of the category of Banach spaces by @ScriptRaccoon in #258
• Add isomorphisms of categories by @ScriptRaccoon in #260
• Add functor properties: preserve regular epis / monos by @ScriptRaccoon in #262

Full Changelog ⚙️

v1.12.0...v1.13.0