Releases: ScriptRaccoon/CatDat
v1.4.0 - Making CatDat more accessible
New 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
Bugfixes 🐛
- Fix deduction of dual categories + Refactoring by @ScriptRaccoon in #85
Full Changelog: v1.3.0...v1.4.0
Contributors
Assets 2
v1.3.0 - Lots of good stuff
New 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?....
New Data 🔋
- 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.
Contributors
Assets 2
v1.2.0 - More Data!
What's Changed
- 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
- Create reusable workflow by @ScriptRaccoon in #38
- Use a separate database for page visits by @ScriptRaccoon in #39
- Add filtered and cofiltered categories by @ScriptRaccoon in #40
- Add all the missing proofs by @ScriptRaccoon in #32
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
Contributors
Assets 2
v1.1.0 - Introduce Functors, Expand Data, UI Improvements
The biggest update
Functors, their properties and implications have been introduced. See #12 for a complete description of this new feature.
What also changed
- Several improvements of the UI (in particular: search, popups for reasons)
- Add lots of new data (categories, properties, implications)
- Add new types of data (special objects, special morphisms)
- Improve the documentation
- Implement a deployment strategy that has no downtime
- Improve table structure
- Breaking Change: Update Routing (
/property->/category-property, etc.)
Pull Requests
- Reference a couple of other relevant projects by @varkor in #6
- Add "locally cartesian closed" property by @varkor in #3
- Add "locally strongly finitely presentable" as a property by @ykawase5048 in #21
- Fix algorithm for extracting filename by @ykawase5048 in #24
- CMon is not coregular by @ykawase5048 in #27
- Add Functors to CatDat by @ScriptRaccoon in #12
New Contributors
- @varkor made their first contribution in #6
- @ykawase5048 made their first contribution in #21
Full Changelog
Contributors
Assets 2
v1.0.0 – Initial release
Features
Categories, their properties, and implications between properties can be explored. There is deduction system that automatically deduces properties from more basic ones. Categories can be compared with each other, and one can search for categories with given properties and non-properties.
This YouTube video presents all features:
https://www.youtube.com/watch?v=dQXbPxk__qA