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 least 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

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

v1.0.0...v1.1.0

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

Full Changelog

https://github.com/ScriptRaccoon/CatDat/commits/v1.0.0