v1.15.0 - Various additions to morphisms

Features 🧪

• Automatic deduction of special morphisms by @ScriptRaccoon in #285
• Human-readable display of implications by @ScriptRaccoon in #286
• Rename "source" to "domain", and "target" to "codomain" by @ScriptRaccoon in #287
• Add sanity check for implications by @ScriptRaccoon in #289
• Add various end-to-end tests for morphisms by @ScriptRaccoon in #295
• Show stored morphisms on category detail page by @ScriptRaccoon in #299

Database 🔋

• Add property "core-connected" and improve tags by @ScriptRaccoon in #288
• Add effective epimorphisms and related properties by @ScriptRaccoon in #291
• Add normal epimorphisms and normal monomorphisms by @ScriptRaccoon in #292
• Add strong epimorphisms and strong monomorphisms by @ScriptRaccoon in #296
• Determine some accessibilities of Met by @ykawase5048 in #297

Bugs 🐛

• Fix commands on windows by @ScriptRaccoon in #294

Full Changelog ⚙️

v1.14.0...v1.15.0