editoReviews
Sort By:
Featured editoReviews
Show all
[Qualifier] Academic
This text implements Kosta Dosen’s functorial programming. This closes the open problem of implementing a dependent-types computer for category the...
Free
[Edito] Academic | arXiv
[2202.00534] A reference for categorical structures on $\mathbf{Poly}$ David I. Spivak In this document, we collect a list of categorical structure...
C$13
[Qualifier] Academic | arXiv
[2202.00534] A reference for categorical structures on $\mathbf{Poly}$ David I. Spivak In this document, we collect a list of categorical structure...
Free
[Edito] Academic
An exclusive discounted offer of live chat/video support to patrons who pre-qualify by passing the pre-requisite quiz at: [Qualifier] Functorial pr...
C$13
[Qualifier] Academic
This text implements Kosta Dosen’s functorial programming. This closes the open problem of implementing a dependent-types computer for category the...
Free