v1.20.0 - More examples of categories with interesting property combinations

This release adds several categories that are less common, but satisfy interesting property combinations that had not been witnessed before, cf. this milestone. Two new properties have been added: total and cototal. Furthermore, the homepage got a visual upgrade.

Database 🔋

• Add two categories of finitely generated projective modules by @ScriptRaccoon in #350
• Add total/cototal category properties by @dschepler in #254
• Variants of the category of finite sets by @ScriptRaccoon in #351
• The category of fields of characteristic zero by @ScriptRaccoon in #354
• The category of posets without isolated points by @ScriptRaccoon in #355
• Three results on Cauchy complete categories by @ScriptRaccoon in #357
• Add more examples of categories that are not Cauchy complete by @ScriptRaccoon in #356
• Add the discrete category of sets by @ScriptRaccoon in #358
• Preadditive categories are not assumed to be locally small by @ScriptRaccoon in #359
• Add the category of countable-dimensional vector spaces by @ScriptRaccoon in #363
• Add some very large Grothendieck abelian categories by @ScriptRaccoon in #360

Features 🧪

• Improve chips by @ScriptRaccoon in #349
• Improve combinations script by @ScriptRaccoon in #352
• Redesign home page by @ScriptRaccoon in #366

Full Changelog ⚙️

v1.19.0...v1.20.0