Database 馃攱
- Add the categories of graded modules and cochain complexes by @ScriptRaccoon in #327
- Change terminology of finitary algebraic categories by @ScriptRaccoon in #329
- Add symmetric monoidal categories by @ScriptRaccoon in #322
- Constant morphisms by @ScriptRaccoon in #332
Refactor 馃Ч
- Rename tables with special objects and special morphisms by @ScriptRaccoon in #330
- Refactor associated structures by @ScriptRaccoon in #334
- Improve end-to-end tests by @ScriptRaccoon in #335
- Implications are not equivalences by default by @ScriptRaccoon in #336
Features 馃И
- Parent structures by @ScriptRaccoon in #323
- Make description of a structure mandatory by @ScriptRaccoon in #324
- Remove assignment level feature by @ScriptRaccoon in #325
- Improve context section on content pages by @ScriptRaccoon in #333
Full Changelog 鈿欙笍
Contributors
ScriptRaccoon