Skip to content

feat(CategoryTheory): the bicategory of profunctors - #1

Closed
dagurtomas wants to merge 1 commit into
profunctor-compfrom
profunctor-bicategory-followup
Closed

feat(CategoryTheory): the bicategory of profunctors#1
dagurtomas wants to merge 1 commit into
profunctor-compfrom
profunctor-bicategory-followup

feat(CategoryTheory): the bicategory of profunctors

898e964
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar