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