diff --git a/UniMath/CategoryTheory/RelativeMonads.v b/UniMath/CategoryTheory/RelativeMonads.v index 14718af8fe..4b548907f2 100644 --- a/UniMath/CategoryTheory/RelativeMonads.v +++ b/UniMath/CategoryTheory/RelativeMonads.v @@ -5,6 +5,7 @@ Contents: - Definition of relative monads [RelMonad] - Functoriality for relative monads [r_lift] +Reference: % \cite{DBLP:journals/corr/AltenkirchCU14} \par % Written by: Benedikt Ahrens (started May 2017) diff --git a/latex/references.bib b/latex/references.bib index f41e4569d9..f0543e00a8 100644 --- a/latex/references.bib +++ b/latex/references.bib @@ -1,3 +1,19 @@ +@article{DBLP:journals/corr/AltenkirchCU14, + author = {Thorsten Altenkirch and + James Chapman and + Tarmo Uustalu}, + title = {Monads need not be endofunctors}, + journal = {Logical Methods in Computer Science}, + volume = {11}, + number = {1}, + year = {2015}, + url = {https://doi.org/10.2168/LMCS-11(1:3)2015}, + doi = {10.2168/LMCS-11(1:3)2015}, + timestamp = {Wed, 03 May 2017 14:47:56 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/AltenkirchCU14}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + @book {BourbakiAlgebraI, AUTHOR = {Bourbaki, Nicolas}, TITLE = {Elements of mathematics. {A}lgebra, {P}art {I}: {C}hapters