v1.14.0 - Improve architecture

Quite a lot has been improved over the last week: the morphism structure type is available, end-to-end tests have been added, and the application is better organized. This is due both to a new shared folder for utilities used by the Svelte application and the database application, and to the extraction of the admin application into its own repository. Moreover, dynamic routes have removed lots of code duplication. In addition, the database has received various updates thanks to @dschepler.

Features 🧪

• Add new structure type: morphisms by @ScriptRaccoon in #265
• Add end-to-end tests with Playwright by @ScriptRaccoon in #270
• Check that environment variables are up-to-date by @ScriptRaccoon in #274 (obsolete after #278)
• Add more end-to-end tests by @ScriptRaccoon in #276

Refactor 🧹

• Use Dynamic Routes by @ScriptRaccoon in #268
• Various refactorings by @ScriptRaccoon in #269
• Share code between database application and SvelteKit application by @ScriptRaccoon in #271
• Remove trailing commas by @ScriptRaccoon in #272
• Separate admin application by @ScriptRaccoon in #278
• Rename /databases/catdat to /database by @ScriptRaccoon in #283

Database 🔋

• Add Sierpinski topos (category of set functions and commutative squares) by @dschepler in #264
• Add category Mono of sets with a distinguished subset by @dschepler in #266
• Add quasitopos property by @dschepler in #273
• Add regular-subobject-trivial and regular-quotient-trivial properties by @dschepler in #275
• Rename "proset" to "preordered set" by @ScriptRaccoon in #284

Full Changelog ⚙️

v1.13.0...v1.14.0