git.megacz.com Git - coq-categories.git/atom - src/Yoneda_ch8.v historyformalization of basic category theory in Coqhttp://git.megacz.com/?p=coq-categories.git/git-favicon.png/git-logo.png2011-03-29T11:37:57Zgitwebrename RepresentableFunctor to HomFunctor2011-03-29T11:37:57ZAdam Megaczadam@megacz.comAdam Megaczadam@megacz.com2011-03-29T11:37:57Zhttp://git.megacz.com/?p=coq-categories.git;a=commitdiff;h=00b060e4854e5a1ba01746be44ac9deb49d7fbf5