feat(category_theory): limits and colimits in Ab #2097
mergify
merged
17 commits into
master
from
AddCommGroup_limits
limits and colimits in AddCommGroup
344880eb
feat(category_theory): limits and colimits in Ab
d457ee68
jcommelin
commented
on 2020-03-06
to_additive comes last
ebc6725a
add to nolints
6cea6d3c
Merge remote-tracking branch 'origin/master' into AddCommGroup_limits
23698d79
Update src/algebra/category/Group/limits.lean
9ff759ca
Merge remote-tracking branch 'origin/master' into AddCommGroup_limits
d10701b7
docstrings
7896f30a
Merge branch 'AddCommGroup_limits' of github.com:leanprover-community…
68cc8b33
use bundled homs throughout
a41bfaf0
comment about better model of colimits
72a0aedf
fix comments
8d9fa230
fixes
d542cf83
jcommelin
approved these changes
on 2020-03-14
Merge remote-tracking branch 'origin/master' into AddCommGroup_limits
4e0e4897
linter
99e4e828
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into AddCommGroup_limits
77292646
Merge branch 'master' into AddCommGroup_limits
fe7ca465
Login to write a write a comment.
Login via GitHub