add reference for rel monads

UniMath · May 10, 2017 · 2e7d6b5 · 2e7d6b5
1 parent 4fc9f09
commit 2e7d6b5
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git 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
@@ -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