@incollection(abramsky2012h,
author = {Samson Abramsky and Chris Heunen},
year = {2012},
title = {{$H^*$}-Algebras and Nonunital {F}robenius Algebras: First Steps in Infinite-Dimensional Categorical Quantum Mechanics},
booktitle = {Mathematical Foundations of Information Flow},
series = {Proc.\ of Symposia in Applied Math.},
volume = {71},
publisher = {Amer.\ Math.\ Soc.},
pages = {1--24},
doi = {10.1090/psapm/071/599},
)
@incollection(cockett1992strong,
author = {J. Robin B. Cockett and Dwight Spencer},
year = {1992},
title = {Strong Categorical Datatypes {I}},
editor = {Robert A.G. Seely},
booktitle = {Category Theory 1991},
series = {CMS Conference Proceedings},
volume = {13},
publisher = {Amer.\ Math.\ Soc.},
pages = {141--169},
)
@inproceedings(egger2009enriching,
author = {Jeff Egger and M{\o}gelberg, Rasmus Ejlers and Alex Simpson},
year = {2009},
title = {Enriching an Effect Calculus with Linear Types},
editor = {Erich Gr{\"a}del and Reinhard Kahle},
booktitle = {Computer Science Logic, 23rd International Workshop, CSL 2009},
series = {Lecture Notes in Computer Science},
volume = {5771},
publisher = {Springer},
pages = {240--254},
doi = {10.1007/978-3-642-04027-6\_19},
)
@inproceedings(fiore2008second,
author = {Marcelo Fiore},
year = {2008},
title = {Second-Order and Dependently-Sorted Abstract Syntax},
booktitle = {Proc.\ of 23rd Annual IEEE Symposium on Logic in Computer Science, LICS~'08},
publisher = {IEEE},
pages = {57--68},
doi = {10.1109/lics.2008.38},
)
@inproceedings(fiore1999abstract,
author = {Marcelo Fiore and Gordon Plotkin and Daniele Turi},
year = {1999},
title = {Abstract Syntax and Variable Binding},
booktitle = {Proc.\ of 14th Annual IEEE Symposium on Logic in Computer Science, LICS~'99},
publisher = {IEEE},
pages = {193--202},
doi = {10.1109/lics.1999.782615},
)
@inproceedings(fiore2017list,
author = {Marcelo Fiore and Philip Saville},
year = {2017},
title = {List Objects with Algebraic Structure},
editor = {Dale Miller},
booktitle = {2nd Int.\ Conference on Formal Structures for Computation and Deduction, FSCD 2017},
series = {Leibniz Int.\ Proc. in Informatics},
volume = {84},
publisher = {Dagstuhl Publishing},
pages = {16:1--16:18},
doi = {10.4230/lipics.fscd.2017.16},
)
@article(gordon1997enrichment,
author = {Robert Gordon and A. John Power},
year = {1997},
title = {Enrichment through Variation},
journal = {J.\ Pure Appl.\ Algebra},
volume = {120},
number = {2},
pages = {167--185},
doi = {10.1016/s0022-4049(97)00070-4},
)
@article(janelidze2001note,
author = {George Janelidze and G. Max Kelly},
year = {2001},
title = {A Note on Actions of a Monoidal Category},
journal = {Theor.\ Appl.\ Categ.},
volume = {9},
number = {4},
pages = {61--91},
url = {http://www.tac.mta.ca/tac/volumes/9/n4/9-04abs.html},
)
@inproceedings(kammar2017monad,
author = {Ohad Kammar and Paul B. Levy and Sean K. Moss and Sam Staton},
year = {2017},
title = {A Monad for Full Ground Reference Cells},
booktitle = {Proc.\ of 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS~'17},
publisher = {IEEE},
pages = {1--12},
doi = {10.1109/lics.2017.8005109},
)
@article(kelly1980unified,
author = {G. Max Kelly},
year = {1980},
title = {A Unified Treatment of Transfinite Constructions for Free Algebras, Free Monoids, Colimits, Associated Sheaves, and So on},
journal = {Bull.\ Austral.\ Math.\ Soc.},
volume = {22},
number = {1},
pages = {1--83},
doi = {10.1017/s0004972700006353},
)
@book(kelly1982basic,
author = {G. Max Kelly},
year = {1982},
title = {Basic Concepts of Enriched Category Theory},
series = {London Math.\ Soc.\ Lecture Note Series},
volume = {64},
publisher = {Cambridge University Press},
note = {Reprinted (2005) as: \textsl{Reprints in Theory and Applications of Categories} 10, \url{http://www.tac.mta.ca/tac/reprints/articles/10/tr10abs.html}},
)
@article(kock1970monads,
author = {Anders Kock},
year = {1970},
title = {Monads on Symmetric Monoidal Closed Categories},
journal = {Arch.\ Math.},
volume = {21},
number = {1},
pages = {1--10},
doi = {10.1007/bf01220868},
)
@article(kock1971bilinearity,
author = {Anders Kock},
year = {1971},
title = {Bilinearity and {C}artesian Closed Monads},
journal = {Math.\ Scand.},
volume = {29},
number = {2},
pages = {161--174},
doi = {10.7146/math.scand.a-11042},
)
@article(Koc:clocgc,
author = {Anders Kock},
year = {1971},
title = {Closed Categories Generated by Commutative Monads},
journal = {Bull.\ Austral.\ Math.\ Soc.},
volume = {12},
number = {4},
pages = {405--424},
doi = {10.1017/s1446788700010272},
)
@article(kock1972strong,
author = {Anders Kock},
year = {1972},
title = {Strong Functors and Monoidal Monads},
journal = {Arch.\ Math.},
volume = {23},
number = {1},
pages = {113--120},
doi = {10.1007/bf01304852},
)
@article(kock2012commutative,
author = {Anders Kock},
year = {2012},
title = {Commutative Monads as a Theory of Distributions},
journal = {Theor.\ Appl.\ Categ.},
volume = {26},
number = {4},
pages = {97--131},
url = {http://www.tac.mta.ca/tac/volumes/26/4/26-04abs.html},
)
@article(Lam:func,
author = {Joachim Lambek},
year = {1974},
title = {Functional Completeness of {C}artesian Categories},
journal = {Ann.\ Math.\ Log.},
volume = {6},
number = {3--4},
pages = {259--292},
doi = {10.1016/0003-4843(74)90003-5},
)
@book(levy2001call,
author = {Paul B. Levy},
year = {2003},
title = {Call-by-Push-Value: A Functional/Imperative Synthesis},
series = {Semantic Structures in Computation},
volume = {2},
publisher = {Kluwer Academic Publishers},
doi = {10.1007/978-94-007-0954-6},
)
@misc(Lev:locgc,
author = {Paul B. Levy},
year = {2019},
title = {Locally Graded Categories},
howpublished = {Slides from the talk at Univ.\ of Cambridge Category Theory Seminar, 12 Feb.\ 2019},
url = {http://www.cs.bham.ac.uk/~pbl/papers/locgrade.pdf},
)
@article(levy2019strong,
author = {Paul B. Levy},
year = {2019},
title = {Strong Functors on Many-Sorted Sets},
journal = {Comment.\ Math.\ Univ.\ Carolin.},
volume = {60},
number = {4},
pages = {533--540},
doi = {10.14712/1213-7243.2019.029},
)
@inproceedings(linton1969coequalizers,
author = {Fred E.J. Linton},
year = {1969},
title = {Coequalizers in Categories of Algebras},
editor = {Beno Eckmann},
booktitle = {Seminar on Triples and Categorical Homology Theory},
series = {Lecture Notes in Mathematics},
volume = {80},
publisher = {Springer},
pages = {75--90},
doi = {10.1007/bfb0083082},
)
@misc(mellies2012parametric,
author = {Paul-Andr{\'e} Melli{\`e}s},
year = {2012},
title = {Parametric Monads and Enriched Adjunctions},
howpublished = {Manuscript},
url = {https://www.irif.fr/~mellies/tensorial-logic/8-parametric-monads-and-enriched-adjunctions.pdf},
)
@inproceedings(moggi1989computational,
author = {Eugenio Moggi},
year = {1989},
title = {Computational lambda-Calculus and Monads},
booktitle = {Proc.\ of 4th Annual IEEE Symposium on Logic in Computer Science, LICS~'89},
publisher = {IEEE},
pages = {14--23},
doi = {10.1109/lics.1989.39155},
)
@incollection(mulry2013notions,
author = {Philip Mulry},
year = {2013},
title = {Notions of Monad Strength},
editor = {Anindya Banerjee and Olivier Danvy and Kyung-Goo Doh and John Hatcliff},
booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {129},
publisher = {Open Publishing Association},
pages = {67--83},
doi = {10.4204/eptcs.129.6},
)
@article(Pav:catlna,
author = {Du{\v{s}}ko Pavlovi{\'c}},
year = {1997},
title = {Categorical Logic of Names and Abstraction in Action Calculi},
journal = {Math.\ Struct.\ Comput.\ Sci.},
volume = {7},
number = {6},
pages = {619--637},
doi = {10.1017/s0960129597002296},
)
@inproceedings(pirog2016eilenberg,
author = {Maciej Pir\'og},
year = {2016},
title = {{E}ilenberg--{M}oore Monoids and Backtracking Monad Transformers},
editor = {Robert Atkey and Neelakantan Krishnaswami},
booktitle = {Proc.\ of 6th Workshop on Mathematically Structured Functional Programming, MSFP '16},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {207},
publisher = {Open Publishing Association},
pages = {23--56},
doi = {10.4204/eptcs.207.2},
)
@inproceedings(power1999closed,
author = {John Power and Hayo Thielecke},
year = {1999},
title = {Closed {F}reyd- and $\kappa$-Categories},
editor = {Ji{\v{r}}{\'i} Wiedermann and Peter van Emde Boas and Mogens Nielsen},
booktitle = {Automata, Languages and Programming, 26th International Colloquium, ICALP~'99},
series = {Lecture Notes in Computer Science},
volume = {1644},
publisher = {Springer},
pages = {625--634},
doi = {10.1007/3-540-48523-6\_59},
)
@article(sato2018giry,
author = {Tetsuya Sato},
year = {2018},
title = {The {G}iry Monad Is Not Strong for the Canonical Symmetric Monoidal Closed Structure on $\mathbf{Meas}$},
journal = {J.\ Pure Appl.\ Algebra},
volume = {222},
number = {10},
pages = {2888--2896},
doi = {10.1016/j.jpaa.2017.11.004},
)
@misc(ncatlab:strm,
author = {Urs Schreiber and Paolo Perrone},
year = {2021},
title = {Strong monad (version 46)},
howpublished = {ncatlab page},
url = {https://ncatlab.org/nlab/show/strong+monad},
note = {Version 1 from 22 July 2009 was written by U.S.; enrichment and copowering perspectives added by P.P. in version 26 from 27 Jan.\ 2020},
)
@article(szlachanyi2017tensor,
author = {Korn{\'e}l Szlach{\'a}nyi},
year = {2017},
title = {On the Tensor Product of Modules over Skew Monoidal Actegories},
journal = {J.\ Pure Appl.\ Algebra},
volume = {221},
number = {1},
pages = {185--221},
doi = {10.1016/j.jpaa.2016.06.003},
)
@phdthesis(wood1976indical,
author = {Richard J. Wood},
year = {1976},
title = {Indicial Methods for Relative Categories},
school = {Dalhousie University},
url = {http://hdl.handle.net/10222/55465},
)