v1.10.0 - More Examples of Functors

The biggest change is the unification of categories and functors in the frontend (#193). Also, many more functors have been added.

Features 🧪

• Unification of categories and functors by @ScriptRaccoon in #193
• Support for adjoint functors by @ScriptRaccoon in #206
• Redundancy check for functor property assignments by @ScriptRaccoon in #207
• Improve styling of lists by @ScriptRaccoon in #208
• Make functor property labels more readable (preserves X) by @ScriptRaccoon in #213
• Automated source and target restrictions of functor properties by @ScriptRaccoon in #218
• Various UI improvements by @ScriptRaccoon in #221

Database 🔋

• Add some functors by @ScriptRaccoon in #204
• Cat does not have a regular subobject classifier by @dschepler in #209
• Add property: ℵ₁-cofiltered limits by @ScriptRaccoon in #200
• Add basic functors for the category of sets by @ScriptRaccoon in #211
• Add the Crude Monadicity Theorem by @ScriptRaccoon in #212
• Add three functors on abelian groups related to torsion by @ScriptRaccoon in #215
• Meas is not regular by @ScriptRaccoon in #216
• Sh(X) never has a generator (unless X has the indiscrete topology) by @dschepler in #210
• Add missing proofs for FinGrp, FS, Met by @ScriptRaccoon in #217
• Rename: reason -> proof by @ScriptRaccoon in #220
• Functors between monoids and groups by @ScriptRaccoon in #222

Refactor 🧹

• Refactor seed script by @ScriptRaccoon in #223

Full Changelog ⚙️

v1.9.0...v1.10.0

v1.9.0 – Filling the Gaps

Features 🧪

• Convert resources and contribution pages to content pages by @ScriptRaccoon in #192
• Handle undecidable properties as assignments by @ScriptRaccoon in #203

Refactor 🧹

• Merge category and functor deduction scripts by @ScriptRaccoon in #191

Database 🔋

All these PRs belong to #194. The number of unknown (category, property)-pairs went down from 151 to 116.

• Add property: ℵ₁-filtered colimits by @ScriptRaccoon in #179
• Small groupoids are generalized varieties and finitely accessible by @ScriptRaccoon in #195
• Decide multi-completeness for remaining categories by @ScriptRaccoon in #196
• Add criterion for sifted colimits by @ScriptRaccoon in #197
• Add new properties: ℵ₂-small products / coproducts / powers / copowers by @ScriptRaccoon in #199
• Decide some properties of FS and Rel by @ScriptRaccoon in #198
• Some coaccessibility proofs by @ScriptRaccoon in #201
• Decide all properties for the category of Hausdorff spaces by @ScriptRaccoon in #202

Full Changelog ⚙️

v1.8.0...v1.9.0

v1.8.0 - Compact spaces, Content pages

Infrastructure 💻

• Use BFS for deductions + Refactor by @ScriptRaccoon in #174
• Replace PDFs with markdown-rendered pages by @ScriptRaccoon in #184
• Replace all lemmas with markdown-generated content pages by @ScriptRaccoon in #188

Features 🧪

• Remove unused stuff by @ScriptRaccoon in #167
• Add sticky headings in long lists by @ScriptRaccoon in #168
• Display contradiction proofs on the search results page by @ScriptRaccoon in #170
• Fix cropped proofs by @ScriptRaccoon in #177
• Add help messages for new users by @ScriptRaccoon in #178
• Add focus to the given property in list of relevant implications by @ScriptRaccoon in #181
• Content pages: various improvements by @ScriptRaccoon in #189
• Show implication usage by @ScriptRaccoon in #190

Database 🔋

• Consistent category links by @ScriptRaccoon in #169
• Add the category of countable groups by @ScriptRaccoon in #171
• Assign easy properties first by @ScriptRaccoon in #173
• Add category of compact Hausdorff spaces by @dschepler in #160
• Add new property: locally finite by @ScriptRaccoon in #180
• Strengthen additive_effective_congruences_imply_normal by @dschepler in #185
• Add Barr-(co)exact properties by @dschepler in #186
• Write property instead of property_id in YAML files by @ScriptRaccoon in #183
• Small LaTeX adjustments by @ScriptRaccoon in #187

Full Changelog

v1.7.0...v1.8.0

v1.7.0 - Hello YAML

A major change to CatDat has been introduced in #164: all categorical data is now authored via YAML files. Each category now has its own YAML file, making the data much easier to maintain. The SQL database is still used for processing and querying data. See the PR description for details.

The redundancy check script developed in #155 makes it easy to determine which property assignments are actually necessary.

Features 🧪

• Add Redundancy Tests by @ScriptRaccoon in #155
• Create list page of lemmas by @ScriptRaccoon in #166

Infrastructure 💻

• Separate assignment of dual categories by @ScriptRaccoon in #157
• Fix update script by @ScriptRaccoon in #159
• Record schema changes by @ScriptRaccoon in #161
• Use IDs to order tags, special objects, and special morphisms by @ScriptRaccoon in #165
• Input all categorical data via YAML files by @ScriptRaccoon in #164

Database 🔋

• Add the category of semigroups by @ScriptRaccoon in #158

Full Changelog ⚒️

v1.6.0...v1.7.0

v1.6.0 - Three major updates

Infrastructure 💻

• Use local SQLite database by @ScriptRaccoon in #138

This is a major change. The SQLite database of CatDat is no longer hosted remotely on Turso, but is shipped directly with the application. This is possible because it is read-only at runtime. Among other things, this provides a significant performance boost for the web application (search + comparison) and simplifies the deployment process. See the PR description for details.

Features 🧪

• Support LaTeX macros by @ScriptRaccoon in #152

This makes writing LaTeX much easier.

Database 🔋

• Add the category of torsion abelian groups by @ScriptRaccoon in #150
• Has effective (co)congruences properties by @dschepler in #126

The PR on effective (co)congruences was a massive effort. It introduces many interesting results and non-trivial proofs.

Full Changelog ⚒️

v1.5.0...v1.6.0

v1.5.0 - Core Refactor + Database Additions

Features 🧪

• Improve reason generation by @ScriptRaccoon in #120
• Allow advanced users to download a copy of the CatDat database by @ScriptRaccoon in #125
• Support display mode and commutative diagrams by @ScriptRaccoon in #128
• Search: Save selected properties + link properties by @ScriptRaccoon in #132
• Order property assignments by @ScriptRaccoon in #134
• Support comments on undecidable properties by @ScriptRaccoon in #140
• Improve filtering by @ScriptRaccoon in #143

Refactor 🧹

• Infrastructure refactor by @ScriptRaccoon in #119
• Database Restructuring by @ScriptRaccoon in #129

Database 🔋

• Fix the descriptions of multi-terminal and multi-initial objects by @ykawase5048 in #118
• Congruence quotients by @dschepler in #115
• Add properties: core-thin + gaunt by @ScriptRaccoon in #121
• Add the category of sets with finite-to-one maps by @ScriptRaccoon in #117
• Add the walking splitting by @ScriptRaccoon in #133
• Two results on finite categories by @ScriptRaccoon in #137
• Add the walking coreflexive pair by @ScriptRaccoon in #139
• Add the category of torsion-free abelian groups by @ScriptRaccoon in #142
• Add properties: subobject-trivial and quotient-trivial by @ScriptRaccoon in #149
• Add the category of Jónsson-Tarski algebras by @ScriptRaccoon in #144

Documentation 📚

• Add Contribution Tutorial by @ScriptRaccoon in #124
• Responsible Use of AI by @ScriptRaccoon in #148

New Contributors 👏

• @dschepler made their first contribution in #115

Full Changelog ⚒️

v1.4.0...v1.5.0

v1.4.0 - Making CatDat more accessible

Features 🧪

• Various UI improvements by @ScriptRaccoon in #80
• Improve functor navigation by @ScriptRaccoon in #93
• Enforce that the trivial category has no unsatisfied properties by @ScriptRaccoon in #100
• Group properties in list page by @ScriptRaccoon in #99
• Admin page by @ScriptRaccoon in #108
• Approval System for Submissions by @ScriptRaccoon in #111

Database 🔋

• Quotient object classifiers by @ScriptRaccoon in #75
• Add kernels, cokernels, normal, conormal by @ScriptRaccoon in #77
• Dualization of missing combinations + Bugfix by @ScriptRaccoon in #78
• Add obvious properties of thin categories by @ScriptRaccoon in #79
• Update foundations by @ScriptRaccoon in #92
• Add properties: cartesian filtered colimits + cocartesian cofiltered limits by @ScriptRaccoon in #84
• Add the simplex category by @ScriptRaccoon in #81
• Add accessible categories and related properties by @ykawase5048 in #97
• Refactor implications + minor additions by @ScriptRaccoon in #98
• Add Natural Numbers Object by @ScriptRaccoon in #102
• Add the category of pseudo-metric spaces by @ScriptRaccoon in #101
• Various community contributions 2 by @ScriptRaccoon in #113
• Exact cofiltered limits and related notions by @ScriptRaccoon in #107
• Add the category of countable sets by @ScriptRaccoon in #116

Refactor 🧹

• Fix deduction of dual categories + Refactoring by @ScriptRaccoon in #85

Full Changelog ⚒️

v1.3.0...v1.4.0

v1.3.0 - Lots of good stuff

Features 🧪

• Suggestion Form by @ScriptRaccoon in #49
• Support lemmas by @ScriptRaccoon in #41
• Arrow navigation in suggestions by @ScriptRaccoon in #37
• Improve search UX* by @ScriptRaccoon in #60
• Add more database checks by @ScriptRaccoon in #61
• Run test workflow automatically by @ScriptRaccoon in #73
• Dualize special objects and morphisms for dual categories by @ScriptRaccoon in #74

*This has also introduced a breaking URL change: the search result page is now available at /category-search/results?satisfied?....

Database 🔋

• From finite groups to cocartesian coclosed categories by @ScriptRaccoon in #42
• The walking parallel pair has sifted colimits by @ykawase5048 in #43
• categories of rings are not coregular by @ScriptRaccoon in #50
• Strongly connected categories by @ScriptRaccoon in #53
• Add sifted and cosifted categories by @peabrainiac in #54
• Resolve issue #62 and fix typo in DATABASE.md by @diracdeltafunk in #70
• Various community contributions 1 by @ScriptRaccoon in #58

New Contributors 👏

• @peabrainiac made their first contribution in #54
• @diracdeltafunk made their first contribution in #70

Full Changelog ⚒️

v1.2.0...v1.3.0

Remark. CatDat is currently released almost daily (see the list of tags), but I only create GitHub "releases" to present the latest changes in a bundled form.

v1.2.0 - More Data!

Database 🔋

• Add the category of pointed topological spaces by @ScriptRaccoon in #30
• Add "sifted colimits" and "reflexive coequalizers" by @ykawase5048 in #29
• Add new properties: direct, inverse, one-way by @ScriptRaccoon in #31
• Add "walking idempotent" and results on Cauchy completeness by @ScriptRaccoon in #33
• Add powers and copowers by @ScriptRaccoon in #35
• Existence of reflexive coequalizers by @ScriptRaccoon in #36
• Add filtered and cofiltered categories by @ScriptRaccoon in #40
• Add all the missing proofs by @ScriptRaccoon in #32

Infrastructure 💻

• Create reusable workflow by @ScriptRaccoon in #38
• Use a separate database for page visits by @ScriptRaccoon in #39

Since the last release, I also try to avoid pushing directly to main and to use pull requests instead. This makes the generation of the release notes much easier (in fact, automatic), and also the changes are much more transparent.

Full Changelog ⚒️

v1.1.0...v1.2.0

v1.1.0 - Introduce Functors, Expand Data, UI Improvements

Features 🧪

• Add Functors to CatDat by @ScriptRaccoon in #12
• Several improvements of the UI (in particular: search, popups for reasons)

Database 🔋

• Add new types of data (special objects, special morphisms)
• Add lots of new data (categories, properties, implications)
• Add "locally cartesian closed" property by @varkor in #3
• Add "locally strongly finitely presentable" as a property by @ykawase5048 in #21
  *-CMon is not coregular by @ykawase5048 in #27

Infrastructure 💻

• Fix algorithm for extracting filename by @ykawase5048 in #24
• Breaking Change: Update Routing (/property -> /category-property, etc.)
• Implement a deployment strategy that has no downtime
• Improve table structure

Documentation 📚

• Improve the documentation
• Reference a couple of other relevant projects by @varkor in #6

New Contributors 👏

• @varkor made their first contribution in #6
• @ykawase5048 made their first contribution in #21

Full Changelog ⚒️

v1.0.0...v1.1.0