Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / byorgey/thesis issues and pull requests
#15 - We need you for an MSc defense
Issue -
State: closed - Opened by ulfarsson over 7 years ago
#14 - fix typo: bewteen -> between
Pull Request -
State: closed - Opened by nikolas about 9 years ago
- 1 comment
#13 - Thories to Theories
Pull Request -
State: closed - Opened by DavidHarrison over 10 years ago
- 1 comment
#12 - Notational issue / coends in HoTT
Issue -
State: closed - Opened by jonsterling over 10 years ago
- 1 comment
#11 - $\Lab$ etc. are metavariables
Issue -
State: closed - Opened by ggreif over 10 years ago
- 1 comment
#10 - Minor typo fixes except for the "natural in $A$ and $B$" one. That's debatable.
Pull Request -
State: closed - Opened by derekelkins over 10 years ago
- 1 comment
#9 - Fix constructor name for HIT example
Pull Request -
State: closed - Opened by fryguybob over 10 years ago
- 1 comment
#7 - work out coends in HoTT category of sets
Issue -
State: closed - Opened by byorgey over 10 years ago
#6 - Convert to diagrams 1.2
Issue -
State: closed - Opened by byorgey over 10 years ago
#5 - Picture for P, with braids
Issue -
State: closed - Opened by byorgey over 10 years ago
- 1 comment
#4 - Understand & write down proof that Day convolution defines a monoid
Issue -
State: closed - Opened by byorgey over 10 years ago
#3 - Finish writing up weighted species
Issue -
State: closed - Opened by byorgey over 10 years ago
#2 - Finish writing up multisort species
Issue -
State: closed - Opened by byorgey over 10 years ago
#1 - Finish writeup of generalized composition (with indexed monoidal products)
Issue -
State: closed - Opened by byorgey over 10 years ago