mathlib3
feat(category_theory/monoidal): monoidal categories, monoidal functors
#1002
Merged
Merged
feat(category_theory/monoidal): monoidal categories, monoidal functors #1002
mergify
merged
34 commits into
master
from
monoidal-categories
feat(category_theory/iso): missing lemmas
b692e35d
formatting
d4e02913
formatting
d6943b39
almost
b074b902
oops
78ab05d4
Merge branch 'iso-lemmas' into monoidal-categories
e43777d2
getting there
6981eb5a
one more
b5e0c57d
Merge branch 'iso-lemmas' into monoidal-categories
c3908214
sleep
b01a80ea
Merge branch 'iso-lemmas' into monoidal-categories
28fdace0
good to go
b1effb34
kim-em
changed the title
fix names
af2e578c
renaming
13b31ea1
linebreak
d2166c36
Merge commit '73c3f71741552159a36388a1ab5cc2bcfd64459a' into monoidal…
f0e05a2b
temporary notations
d221522b
notations for associator, unitors?
59eb2358
more notation
d1db8d70
names
8f4ad436
more names
a23ce189
jcommelin
commented
on 2019-05-20
oops
e3a47d58
merge
b5ff7514
renaming, and namespaces
722ebdcf
Merge branch 'master' into monoidal-categories
7aa02c81
comment
f40de11d
fix comment
d2d198a2
Merge branch 'master' into monoidal-categories
83090976
remove unnecessary open, formatting
ff4facd1
removing dsimps
0d8d171e
Merge branch 'master' into monoidal-categories
55fe64f3
replace with simp lemmas
f104b48a
fix
88a73a3c
Merge branch 'master' into monoidal-categories
352ab8f4
jcommelin
approved these changes
on 2019-05-30
Login to write a write a comment.
Login via GitHub