{"_id":"npZki7uYNzRxsZorx","bibbaseid":"anonymous-coqcontribsconcatconstructivecategorytheory","bibdata":{"bibtype":"misc","type":"misc","title":"coq-contribs/concat: Constructive Category Theory","url":"https://github.com/coq-contribs/concat","urldate":"2020-05-12","bibtex":"@misc{noauthor_coq-contribsconcat_nodate,\n\ttitle = {coq-contribs/concat: {Constructive} {Category} {Theory}},\n\turl = {https://github.com/coq-contribs/concat},\n\turldate = {2020-05-12},\n}\n\n","key":"noauthor_coq-contribsconcat_nodate","id":"noauthor_coq-contribsconcat_nodate","bibbaseid":"anonymous-coqcontribsconcatconstructivecategorytheory","role":"","urls":{"Paper":"https://github.com/coq-contribs/concat"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"misc","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["coq","contribs","concat","constructive","category","theory"],"title":"coq-contribs/concat: Constructive Category Theory","year":null}