Giters
byorgey
/
thesis
Brent's PhD thesis.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
63
Watchers:
12
Issues:
10
Forks:
5
byorgey/thesis Issues
We need you for an MSc defense
Closed
7 years ago
Finish writing up multisort species
Closed
9 years ago
Finish writing up weighted species
Closed
9 years ago
Understand & write down proof that Day convolution defines a monoid
Closed
9 years ago
Notational issue / coends in HoTT
Closed
10 years ago
Comments count
1
$\Lab$ etc. are metavariables
Closed
10 years ago
Comments count
1
work out coends in HoTT category of sets
Closed
10 years ago
Finish writeup of generalized composition (with indexed monoidal products)
Closed
10 years ago
Picture for P, with braids
Closed
10 years ago
Comments count
1
Convert to diagrams 1.2
Closed
10 years ago