sean/bibstd
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
bibstd/test/big_file.bib
Seán Healy 9ab19b842d Initial commit.
2026-01-10 22:04:18 +00:00

3703 lines
103 KiB
BibTeX
Raw Permalink Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
%1
@misc{1lab-poly, title={Cat.instances.poly}, url={https://1lab.dev/Cat.Instances.Poly.html}, journal={1Lab}, author={Liao, Amélia}, year={2022}, month={08}}
%A
@book{Aastrom.Wittenmark:2013a,
title={Adaptive control},
author={{\AA}str{\"o}m, Karl J and Wittenmark, Bj{\"o}rn},
year={2013},
publisher={Courier Corporation}
}
@misc{abadi2015existence,
title={On the Existence of an Orthogonal Factorization System on 1-Cob and 2-Cob},
author={Abadi, Joseph},
eprint={arXiv:1506.03119},
year={2015}
}
@inproceedings{abbott2003categories,
title={Categories of Containers},
author={Michael Gordon Abbott and Thorsten Altenkirch and Neil Ghani},
booktitle={FoSSaCS},
year={2003}
}
@inproceedings{abbott2003derivatives,
title={Derivatives of containers},
author={Abbott, Michael and Altenkirch, Thorsten and Ghani, Neil and McBride, Conor},
booktitle={International Conference on Typed Lambda Calculi and Applications},
pages={16--30},
year={2003},
organization={Springer}
}
@article{abbott2005containers,
title = "Containers: Constructing strictly positive types",
journal = "Theoretical Computer Science",
volume = "342",
number = "1",
pages = "3 - 27",
year = "2005",
note = "Applied Semantics: Selected Topics",
author = "Michael Abbott and Thorsten Altenkirch and Neil Ghani",
}
@phdthesis{abbot2003categoriesthesis,
author = {Michael Gordon Abbott},
title = {Categories of Containers},
school = {University of Leicester},
year = 2003,
month = 8,
}
@incollection{abou2016reflections,
title={Reflections on monadic lenses},
author={Abou-Saleh, Faris and Cheney, James and Gibbons, Jeremy and McKinna, James and Stevens, Perdita},
booktitle={A List of Successes that can Change the World},
pages={1--31},
year={2016},
publisher={Springer}
}
@incollection{Abramsky:1996a,
Author = {Abramsky, Samson},
Booktitle = {C{ONCUR} '96: concurrency theory ({P}isa)},
% Doi = {10.1007},
%Isbn = = {3-540-61604-7_44},
Pages = {1-17},
Publisher = {Springer, Berlin},
Series = {Lecture Notes in Computer Science},
Shortseries = {Lecture Notes in Comput. Sci.},
Title = {Retracing some paths in process algebra},
Volume = {1119},
Date = {1996}
}
@incollection {Abramsky:2005a,
AUTHOR = {Abramsky, Samson},
TITLE = {Abstract scalars, loops, and free traced and strongly compact
closed categories},
BOOKTITLE = {Algebra and coalgebra in computer science},
SERIES = {Lecture Notes in Comput. Sci.},
VOLUME = {3629},
PAGES = {1--29},
PUBLISHER = {Springer, Berlin},
YEAR = {2005},
MRCLASS = {81P10 (18D15 68Q05)},
MRNUMBER = {2204997},
MRREVIEWER = {H.-J. Hoehnke},
% DOI = {10.1007/11548133_1},
%URL = {http://dx.doi.org/10.1007/11548133_1},
}
@article{Abramsky.Vickers:1993a,
title={Quantales, observational logic and process semantics},
author={Abramsky, Samson and Vickers, Steven},
journal={Mathematical Structures in Computer Science},
volume={3},
number={2},
pages={161--227},
year={1993},
publisher={Cambridge University Press}
}
@incollection{Abramsky:2005b,
Author = {Abramsky, Samson},
Booktitle = {Algebra and coalgebra in computer science},
% Doi = {10.1007/11548133_1},
Pages = {1-29},
Publisher = {Springer, Berlin},
Series = {Lecture Notes in Comput. Sci.},
Title = {Abstract scalars, loops, and free traced and strongly compact closed categories},
Volume = {3629},
Date = {2005}
}
@article {Abramsky.Blute.Panangaden:1999a,
AUTHOR = {Abramsky, Samson and Blute, Richard and Panangaden, Prakash},
TITLE = {Nuclear and trace ideals in tensored {$\ast$}-categories},
NOTE = {Special volume on the occasion of the 60th birthday of
Professor Michael Barr (Montreal, QC, 1997)},
% JOURNAL = {J. Pure Appl. Algebra},
% FJOURNAL = {Journal of Pure and Applied Algebra},
JOURNAL = {Journal of Pure and Applied Algebra},
VOLUME = {143},
YEAR = {1999},
NUMBER = {1-3},
PAGES = {3--47},
%ISSN = {0022-4049},
CODEN = {JPAAA2},
MRCLASS = {47L20 (18D10 46M15 47B10)},
MRNUMBER = {1731037},
MRREVIEWER = {J. Wick Pelletier},
% DOI = {10.1016/S0022-4049(98)00106-6},
%URL = {http://dx.doi.org/10.1016/S0022-4049(98)00106-6},
}
@inproceedings{Abramsky.Coecke:2004a,
title={A categorical semantics of quantum protocols},
author={Abramsky, Samson and Coecke, Bob},
booktitle={Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on},
pages={415--425},
year={2004},
organization={IEEE}
}
@inproceedings{Abramsky.Jung:1994a,
title={Domain theory},
author={Abramsky, Samson and Jung, Achim},
booktitle={Handbook of logic in computer science},
year={1994},
organization={Oxford University Press}
}
@book{Abiteboul:1995a,
Author = {Serge Abiteboul and
Richard Hull and
Victor Vianu},
Title = {Foundations of Databases},
Publisher = {Addison-Wesley},
Date = {1995},
%Isbn = = {0-201-53771-0}
}
@phdthesis{Adam:2017a,
author = {Elie M.\ Adam},
title = {Systems, Generativity and Interactional Effects},
school = {Massachusetts Institute of Technology},
year = 2017,
month = 7,
note = {Available online: \url{http://www.mit.edu/~eadam/eadam_PhDThesis.pdf}}
}
@article{Adamek.Herrlich.Strecker:2006a,
Author = {Ad{{\'a}}mek, Ji{\v{r}}{\'{\i}} and
Herrlich, Horst and
Strecker, George E.},
Journaltitle = {Reprints in Theory and Applications of Categories},
% Number = {17},
Origdate = {1990},
Origlocation = {New York},
Origpublisher = {John Wiley and Sons},
Pages = {Paper No. 17, 1--507},
Subtitle = {the joy of cats},
Title = {Abstract and concrete categories},
Year = {2006}
}
@book{Adamek.Rosicky:1994a,
Author = {Ad{\'a}mek, Ji{\v{r}\'{\i}} and
Rosick{\'y}, Ji{\v{r}\'{\i}}},
Title = {Locally presentable and accessible categories},
Series = {London Mathematical Society Lecture Note Series},
Number = {189},
Publisher = {Cambridge University Press},
Date = {1994},
%ISBN = = {0-521-42261-2}
}
@article {Adamek.Borceux.Lack.Rosicky:2002a,
AUTHOR = {Ad{\'a}mek, Ji{\v{r}}{\'{\i}} and Borceux, Francis and Lack,
Stephen and Rosick{\'y}, Ji{\v{r}}{\'{\i}}},
TITLE = {A classification of accessible categories},
NOTE = {Special volume celebrating the 70th birthday of Professor Max
Kelly},
% JOURNAL = {J. Pure Appl. Algebra},
% FJOURNAL = {Journal of Pure and Applied Algebra},
JOURNAL = {Journal of Pure and Applied Algebra},
VOLUME = {175},
YEAR = {2002},
NUMBER = {1-3},
PAGES = {7--30},
%ISSN = {0022-4049},
CODEN = {JPAAA2},
MRCLASS = {18C35 (18A30 18A35 18C30)},
MRNUMBER = {1935970},
MRREVIEWER = {R. H. Street},
%URL = {http://dx.doi.org/10.1016/S0022-4049(02)00126-3},
}
@book{Adamek.Rosicky.Vitale:2011a,
Author = {Ad{\'a}mek, J. and
Rosick{\'y}, J. and
Vitale, E. M.},
Title = {Algebraic theories},
Series = {Cambridge Tracts in Mathematics},
Number = {184},
Publisher = {Cambridge University Press},
Date = {2011},
%ISBN = = {978-0-521-11922-1}
}
@article {Ageron:1996a,
AUTHOR = {Ageron, Pierre},
TITLE = {Effective taxonomies and crossed taxonomies},
% JOURNAL = {Cahiers Topologie G\'eom. Diff\'erentielle Cat\'eg.},
% FJOURNAL = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle
% Cat\'egoriques},
JOURNAL = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle
Cat\'egoriques},
VOLUME = {37},
YEAR = {1996},
NUMBER = {2},
PAGES = {82--90},
%ISSN = {0008-0004},
MRCLASS = {18A10 (18C20)},
MRNUMBER = {1394504},
MRREVIEWER = {Timothy Porter},
}
@book{aguiar1997internal,
title={Internal categories and quantum groups},
author={Aguiar, Marcelo},
year={1997},
publisher={Cornell University}
}
@article{Aguiar.Ashwin.Dias.Field:2011a,
title={Dynamics of coupled cell networks: synchrony, heteroclinic cycles and inflation},
author={Aguiar, M and Ashwin, Peter and Dias, A and Field, Michael},
journal={Journal of nonlinear science},
volume={21},
number={2},
pages={271--323},
year={2011},
publisher={Springer}
}
@article{ahman2014when,
title={When is a container a comonad?},
volume={10},
ISSN={1860-5974},
number={3},
journal={Logical Methods in Computer Science},
publisher={Logical Methods in Computer Science e.V.},
author={Ahman, Danel and Chapman, James and Uustalu, Tarmo},
editor={Birkedal, LarsEditor},
year={2014},
month={9}
}
@article{ahman2013distributive,
title={Distributive laws of directed containers},
author={Ahman, Danel and Uustalu, Tarmo},
journal={Progress in Informatics},
volume={10},
pages={3--18},
year={2013}
}
@article{ahman2016directed,
Author = {Danel Ahman and Tarmo Uustalu},
Title = {Directed Containers as Categories},
Year = {2016},
Eprint = {arXiv:1604.01187},
journal = {EPTCS 207, 2016, pp. 89-98},
% Doi = {10.4204/EPTCS.207.5},
}
@article{Alur.Feder.Henzinger:1996a,
title={The benefits of relaxing punctuality},
author={Alur, Rajeev and Feder, Tom{\'a}s and Henzinger, Thomas A.},
journal={Journal of the ACM (JACM)},
volume={43},
number={1},
pages={116--146},
year={1996},
publisher={ACM}
}
@inproceedings{Ames.Sastry:2005a,
title={Characterization of Zeno behavior in hybrid systems using homological methods},
author={Ames, Aaron D. and Sastry, Shankar},
booktitle={American Control Conference, 2005. Proceedings of the 2005},
pages={1160--1165},
year={2005},
organization={IEEE}
}
@article{arbib1974foundations,
title={Foundations of system theory: decomposable systems},
author={Arbib, Michael A and Manes, Ernest G},
journal={Automatica},
volume={10},
number={3},
pages={285--302},
year={1974},
publisher={Elsevier}
}
@book{Artin.Grothendieck.Verdier:1971a,
author = {Artin, Michael and Grothendieck, Alexander and Verdier, Jean-Louis},
title = {Theorie de Topos et Cohomologie Etale des Schemas {I}, {II}, {III}},
year = {1971},
publisher = {Springer},
series = {Lecture Notes in Mathematics},
volume = {269, 270, 305},
}
@book{Ashby:2013a,
title={Design for a brain: The origin of adaptive behaviour},
author={Ashby, William},
year={2013},
publisher={Springer Science \& Business Media}
}
@book{Awodey:2010a,
AUTHOR = {Awodey, Steve},
TITLE = {Category theory},
SERIES = {Oxford Logic Guides},
VOLUME = {52},
EDITION = {Second},
PUBLISHER = {Oxford University Press, Oxford},
YEAR = {2010},
PAGES = {xvi+311},
%ISBN = = {978-0-19-923718-0},
MRCLASS = {18-01 (03G30 18A25)},
MRNUMBER = {2668552},
}
@article{Awodey:2014a,
Author = {Steve Awodey},
Title = {Natural models of homotopy type theory},
Year = {2014},
Eprint = {arXiv:1406.3219},
Howpublished = {Mathematical Structures in Computer Science, 1--46, 2016},
}
@article{Awodey:2016,
title={Natural models of homotopy type theory},
author={Awodey, Steve},
journal={Mathematical Structures in Computer Science},
pages={1--46},
year={2016},
publisher={Cambridge University Press}
}
%B
@article{Bachmair:1989a,
Author = {Bachmair, L. and
Dershowitz, N. and
Plaisted, D.A.},
Title = {Completion Without Failure},
Volume = {2},
Journal= {Resolution of Equations in Algebraic Structures - Rewriting Techniques},
Pages = {1-30},
Publisher = {Academic Press},
Date = {1989}
}
@misc{baez300,
title = {This Week's Finds 300},
author = {Baez, John and Dolan, James},
url = {http://math.ucr.edu/home/baez/week300.html},
note = {Accessed: 2020-02-16}
}
@misc{Baez.Dolan:1998,
title={Categorification},
author={Baez, John C and Dolan, James},
eprint={math/9802029},
year={1998}
}
@misc{Baez:2013a,
author = {Baez, John},
title = {The foundations of applied mathematics},
year = {2013},
url = {http://math.ucr.edu/home/baez/irvine/irvine.pdf}
}
@article {baez2015categories,
AUTHOR = {Baez, John C. and Erbele, Jason},
TITLE = {Categories in control},
% JOURNAL = {Theory Appl. Categ.},
% FJOURNAL = {Theory and Applications of Categories},
JOURNAL = {Theory and Applications of Categories},
VOLUME = {30},
YEAR = {2015},
PAGES = {Paper No. 24, 836--881},
%ISSN = {1201-561X},
MRCLASS = {18D10 (93A10 94C05)},
MRNUMBER = {3361310},
MRREVIEWER = {Stephen Lack},
}
@article{baez2016compositional,
title={A compositional framework for Markov processes},
author={Baez, John C. and Fong, Brendan and Pollard, Blake S},
journal={Journal of Mathematical Physics},
volume={57},
number={3},
year={2016},
publisher={AIP Publishing}
}
@article{baez2017compositional,
title={A compositional framework for reaction networks},
author={Baez, John C and Pollard, Blake S},
journal={Reviews in Mathematical Physics},
volume={29},
number={09},
% pages={1750028},
year={2017},
publisher={World Scientific}
}
@article{baez2018compositional,
title={A compositional framework for passive linear networks},
author={Baez, John C. and Fong, Brendan},
journal={Theory and Applications of Categories},
volume={33},
number={38},
pages={1158--1222},
year={2018}
}
@book {Baier.Katoen:2008a,
AUTHOR = {Baier, Christel and Katoen, Joost-Pieter},
TITLE = {Principles of model checking},
NOTE = {With a foreword by Kim Guldstrand Larsen},
PUBLISHER = {MIT Press, Cambridge, MA},
YEAR = {2008},
PAGES = {xviii+975},
%ISBN = = {978-0-262-02649-9},
MRCLASS = {68-02 (03B44 03D05 68Q45 68Q60)},
MRNUMBER = {2493187},
MRREVIEWER = {Martin Lange},
}
@incollection{barr:1971a,
title={Exact categories},
author={Barr, Michael},
booktitle={Exact categories and categories of sheaves},
pages={1--120},
year={1971},
publisher={Springer}
}
@book{Barr.Wells:1990a,
title={Category theory for computing science},
author={Barr, Michael and Wells, Charles},
volume={49},
year={1990},
publisher={Prentice Hall New York}
}
@book{Barr.Wells:1985a,
Author = {Barr, Michael and Wells, Charles},
%Isbn = = {0-387-96115-1},
Publisher = {Springer-Verlag},
Series = {A Series of Comprehensive Studies in Mathematics},
Number = {278},
Title = {Toposes, Triples and Theories},
Year = {1985}
}
@article {Bauer.Taylor:2009a,
AUTHOR = {Bauer, Andrej and Taylor, Paul},
TITLE = {The {D}edekind reals in abstract {S}tone duality},
% JOURNAL = {Math. Structures Comput. Sci.},
% FJOURNAL = {Mathematical Structures in Computer Science},
JOURNAL = {Mathematical Structures in Computer Science},
VOLUME = {19},
YEAR = {2009},
NUMBER = {4},
PAGES = {757--838},
%ISSN = {0960-1295},
MRCLASS = {03D78 (03B40 03F60 26A03 54A99)},
MRNUMBER = {2525959},
% DOI = {10.1017/S0960129509007695},
%URL = {http://dx.doi.org/10.1017/S0960129509007695},
}
@unpublished{Benabou:2000a,
Author = {B\'{e}nabou, Jean},
Title = {Distributors at work},
Note = {Lecture notes written by Thomas Streicher},
Date = {2000},
URL = {\url{http://www.mathematik.tu-darmstadt.de/~streicher/FIBR/DiWo.pdf}}
}
@article{bernstein.Hass:2008a,
title={Information integration in the enterprise},
author={Bernstein, Philip A and Haas, Laura M},
journal={Communications of the ACM},
volume={51},
number={9},
pages={72--79},
year={2008},
publisher={ACM}
}
@article{bifet2013mining,
title={Mining big data in real time},
author={Bifet, Albert},
journal={Informatica},
volume={37},
number={1},
year={2013},
publisher={Slovenian Society Informatika/Slovensko drustvo Informatika}
}
@article{beurier2019memoryless,
title={Memoryless systems generate the class of all discrete systems},
author={Beurier, Erwan and Pastor, Dominique and Spivak, David I},
journal={International Journal of Mathematics and Mathematical Sciences},
volume={2019},
year={2019},
publisher={Hindawi}
}
@article{blute2009cartesian,
title={Cartesian differential categories},
author={Blute, RF and Cockett, JRB and Seely, RAG},
journal={Theory and Applications of Categories},
volume={22},
number={23},
pages={622--672},
year={2009}
}
@inproceedings{bohannon2006relational,
title={Relational lenses: a language for updatable views},
author={Bohannon, Aaron and Pierce, Benjamin C and Vaughan, Jeffrey A},
booktitle={Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems},
pages={338--347},
year={2006},
organization={ACM}
}
@article {Boileau.Joyal:1981a,
AUTHOR = {Boileau, Andr\'e and Joyal, Andr\'e},
TITLE = {La logique des topos},
% JOURNAL = {J. Symbolic Logic},
% FJOURNAL = {The Journal of Symbolic Logic},
JOURNAL = {The Journal of Symbolic Logic},
VOLUME = {46},
YEAR = {1981},
NUMBER = {1},
PAGES = {6--16},
%ISSN = {0022-4812},
MRCLASS = {03G30 (18B25)},
MRNUMBER = {604873},
MRREVIEWER = {Gavin Wraith},
% DOI = {10.2307/2273251},
%URL = {http://dx.doi.org/10.2307/2273251},
}
@inproceedings{bonchi2014categorical,
title={A categorical semantics of signal flow graphs},
author={Bonchi, Filippo and Soboci{\'n}ski, Pawe{\l} and Zanasi, Fabio},
booktitle={International Conference on Concurrency Theory},
pages={435--450},
year={2014},
% organization={Springer}
}
@inproceedings{bonchi2015full,
title={Full abstraction for signal flow graphs},
author={Bonchi, Filippo and Sobocinski, Pawel and Zanasi, Fabio},
booktitle={ACM SIGPLAN Notices},
volume={50},
number={1},
pages={515--526},
year={2015},
organization={ACM}
}
@article{bonchi2017functorial,
title={Functorial semantics for relational theories},
author={Bonchi, Filippo and Pavlovic, Dusko and Soboci{\'n}ski, Pawe{\l}},
journal={arXiv preprint arXiv:1711.08699},
year={2017}
}
@article {Bonchi.Sobocinski.Zanasi:2017a,
AUTHOR = {Bonchi, Filippo and Soboci{\'n}ski, Pawe{\l} and Zanasi, Fabio},
TITLE = {The calculus of signal flow diagrams {I}: {L}inear relations
on streams},
% JOURNAL = {Inform. and Comput.},
% FJOURNAL = {Information and Computation},
JOURNAL = {Information and Computation},
VOLUME = {252},
YEAR = {2017},
PAGES = {2--29},
%ISSN = {0890-5401},
MRCLASS = {68Q85 (18D10 68Q42)},
MRNUMBER = {3583728},
%URL = {https://doi.org/10.1016/j.ic.2016.03.002},
}
@article{bonchi2018graphical,
author = {Filippo Bonchi and
Jens Seeber and
Pawe{\l} Soboci{\'{n}}ski},
title = {Graphical Conjunctive Queries},
Journaltitle = {preprint},
% journal = {CoRR},
% volume = {abs/1804.07626},
year = {2018},
% url = {http://arxiv.org/abs/1804.07626},
archivePrefix = {arXiv},
eprint = {1804.07626},
% timestamp = {Mon, 13 Aug 2018 16:48:53 +0200},
% biburl = {https://dblp.org/rec/bib/journals/corr/abs-1804-07626},
% bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book {Borceux:1994a,
AUTHOR = {Borceux, Francis},
TITLE = {Handbook of categorical algebra 1},
SERIES = {Encyclopedia of Mathematics and its Applications},
VOLUME = {50},
NOTE = {Basic category theory},
PUBLISHER = {Cambridge University Press, Cambridge},
YEAR = {1994},
}
@book {Borceux:1994b,
AUTHOR = {Borceux, Francis},
TITLE = {Handbook of categorical algebra 2},
SERIES = {Encyclopedia of Mathematics and its Applications},
VOLUME = {51},
NOTE = {Categories and structures},
PUBLISHER = {Cambridge University Press, Cambridge},
YEAR = {1994},
}
@book {Borceux:1994c,
AUTHOR = {Borceux, Francis},
TITLE = {Handbook of categorical algebra 3},
SERIES = {Encyclopedia of Mathematics and its Applications},
VOLUME = {52},
NOTE = {Categories of sheaves},
PUBLISHER = {Cambridge University Press, Cambridge},
YEAR = {1994},
}
@inbook{Bourn.Gran:2004a,
Author = {Bourn, Dominique and Gran, Marino},
Booktitle = {Categorical foundations},
Chapter = {4},
Editor = {Pedicchio, Maria Cristina and Tholen, Walter},
%Isbn = = {0-521-83414-7},
Number = {97},
Pages = {165-212},
Publisher = {Cambridge University Press},
Series = {Encyclopedia of Mathematics and its Applications},
Title = {Regular, protomodular, and abelian categories},
Year = {2004}
}
@phdthesis{brown1961some,
author = {Ronnie Brown},
title = {Some problems of algebraic topology: a study of function spaces, function complexes, and FD-complexes},
school = {University of Oxford},
year = 1961,
}
@inproceedings{Brown.Porter:2006a,
title={Category Theory: an abstract setting for analogy and comparison},
author={Brown, Ronald and Porter, Tim},
booktitle={What is category theory},
volume={3},
pages={257--274},
year={2006}
}
@article{Broyden:1965a,
title={A class of methods for solving nonlinear simultaneous equations},
author={Broyden, Charles G},
journal={Mathematics of computation},
volume={19},
number={92},
pages={577--593},
year={1965},
publisher={JSTOR}
}
@article{Bunge.Fiore:2000a,
title={Unique factorisation lifting functors and categories of linearly-controlled processes},
author={Bunge, Marta and Fiore, Marcelo P},
journal={Mathematical Structures in Computer Science},
volume={10},
number={2},
pages={137--163},
year={2000},
publisher={Cambridge University Press}
}
@article{butz1998regular,
title={Regular categories and regular logic},
author={Butz, Carsten},
journal={BRICS Lecture Series LS-98-2},
year={1998}
}
%C
@inproceedings{Cadish.Diskin:1995a,
title={Algebraic graph-based approach to management of multibase systems, I: Schema integration via sketches and equations},
author={Cadish, Boris and Diskin, Zinovy},
booktitle={Proceedings of Next Generation of Information Technologies and Systems, NGITS},
volume={95},
year={1995}
}
@inproceedings{Canny.Kaltofen.Yagati:1989a,
title={Solving systems of nonlinear polynomial equations faster},
author={Canny, John F and Kaltofen, Erich and Yagati, Lakshman},
booktitle={Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation},
pages={121--128},
year={1989},
organization={ACM}
}
@misc{capucci2022diegetic,
url = {https://arxiv.org/abs/2206.12338},
author = {Capucci, Matteo},
title = {Diegetic representation of feedback in open games},
publisher = {arXiv},
year = {2022},
}
@article{carboni1987cartesian,
title = {Cartesian bicategories I},
journal = {Journal of Pure and Applied Algebra},
volume = {49},
number = {1},
pages = {11 - 32},
year = {1987},
%ISSN = {0022-4049},
%doi = {https://doi.org/10.1016/0022-4049(87)90121-6},
%url = {http://www.sciencedirect.com/science/article/pii/0022404987901216},
author = {A. Carboni and R.F.C. Walters},
}
@article{Carboni:1991a,
title = {Matrices, relations, and group representations},
journal = {Journal of Algebra},
volume = {136},
number = {2},
pages = {497 - 529},
year = {1991},
%ISSN = {0021-8693},
%doi = {https://doi.org/10.1016/0021-8693(91)90057-F},
%url = {http://www.sciencedirect.com/science/article/pii/002186939190057F},
author = {Aurelio Carboni},
}
@misc{Censi:2015a,
title={A mathematical theory of co-design},
author={Censi, Andrea},
eprint={arXiv:1512.08055},
year={2015}
}
@article{Censi:2016a,
author = {Censi, Andrea},
title = {A Class of Co-Design Problems with Cyclic Constraints and Their
Solution},
url = {http://MCDP.mit.edu/},
journal = {Robotics and Automation Letters},
month = {2},
note = {To appear},
year = {2016},
%ignorepdf ={http://purl.org/censi/research/201510-monotone/1-MonotoneCodesign.pdf},
}
@article{censi:2017a,
author = "Censi, Andrea",
title = "Uncertainty in Monotone Co-Design Problems",
url = "https://arxiv.org/abs/1609.03103",
journal = "IEEE Robotics and Automation Letters",
month = "2",
year = "2017",
%pdf = "https://arxiv.org/pdf/1609.03103"
}
@inproceedings{chandra1977optimal,
title={Optimal implementation of conjunctive queries in relational data bases},
author={Chandra, Ashok K and Merlin, Philip M},
booktitle={Proceedings of the ninth annual ACM symposium on Theory of computing},
pages={77--90},
year={1977},
organization={ACM}
}
@misc{cheng2004mathematics,
title={Mathematics, morally},
author={Cheng, Eugenia},
year={2004},
publisher={Sheffield},
URL = {\url{http://www.cheng.staff.shef.ac.uk/morality/morality.pdf}}
}
@book{cheng_2022, place={Cambridge}, title={The Joy of Abstraction: An Exploration of Math, Category Theory, and Life}, DOI={10.1017/9781108769389}, publisher={Cambridge University Press}, author={Cheng, Eugenia}, year={2022}}
@article{Choy.Srinivasan.Cheu:2006a,
title={Neural networks for continuous online learning and control},
author={Choy, Min Chee and Srinivasan, Dipti and Cheu, Ruey Long},
journal={Neural Networks, IEEE Transactions on},
volume={17},
number={6},
pages={1511--1531},
year={2006},
publisher={IEEE}
}
@article {Cockett.Lack:2003a,
AUTHOR = {Cockett, J. R. B. and Lack, Stephen},
TITLE = {Restriction categories. {II}. {P}artial map classification},
NOTE = {Category theory and computer science},
% JOURNAL = {Theoret. Comput. Sci.},
% FJOURNAL = {Theoretical Computer Science},
JOURNAL = {Theoretical Computer Science},
VOLUME = {294},
YEAR = {2003},
NUMBER = {1-2},
PAGES = {61--102},
%ISSN = {0304-3975},
CODEN = {TCSDI},
MRCLASS = {18B99 (18C20)},
MRNUMBER = {1963657},
MRREVIEWER = {{\.I}lhan {\.I}{\c{c}}en},
%URL = {http://dx.doi.org/10.1016/S0304-3975(01)00245-6},
}
@book{Coecke.Kissinger:2017a,
title={Picturing quantum processes},
author={Coecke, Bob and Kissinger, Aleks},
year={2017},
publisher={Cambridge University Press}
}
@incollection{coecke2010categories,
title={Categories for the practising physicist},
author={Coecke, Bob and Paquette, Eric Oliver},
booktitle={New Structures for Physics},
pages={173--286},
year={2010},
publisher={Springer}
}
@article {Coecke.Fritz.Spekkens:2016a,
AUTHOR = {Coecke, Bob and Fritz, Tobias and Spekkens, Robert W.},
TITLE = {A mathematical theory of resources},
% JOURNAL = {Inform. and Comput.},
% FJOURNAL = {Information and Computation},
JOURNAL = {Information and Computation},
VOLUME = {250},
YEAR = {2016},
PAGES = {59--86},
%ISSN = {0890-5401},
MRCLASS = {18C10 (81P45)},
MRNUMBER = {3544610},
%URL = {https://doi.org/10.1016/j.ic.2016.02.008},
}
@book{conway2012regular,
title={Regular algebra and finite machines},
author={Conway, John Horton},
year={2012},
publisher={Courier Corporation}
}
@inproceedings{Coppersmith.Winograd:1987a,
title={Matrix multiplication via arithmetic progressions},
author={Coppersmith, Don and Winograd, Shmuel},
booktitle={Proceedings of the nineteenth annual ACM symposium on Theory of computing},
pages={1--6},
year={1987},
organization={ACM}
}
@article {Coquand.Huet:1988a,
AUTHOR = {Coquand, Thierry and Huet, G\'erard},
TITLE = {The calculus of constructions},
% JOURNAL = {Inform. and Comput.},
% FJOURNAL = {Information and Computation},
JOURNAL = {Information and Computation},
VOLUME = {76},
YEAR = {1988},
NUMBER = {2-3},
PAGES = {95--120},
%ISSN = {0890-5401},
MRCLASS = {68Q55 (03B15 03B35 03B40 03B70)},
MRNUMBER = {935892},
MRREVIEWER = {R. P. Nederpelt},
% DOI = {10.1016/0890-5401(88)90005-3},
%URL = {http://dx.doi.org/10.1016/0890-5401(88)90005-3},
}
@article {coya2017corelations,
AUTHOR = {Coya, Brandon and Fong, Brendan},
TITLE = {Corelations are the prop for extraspecial commutative
{F}robenius monoids},
JOURNAL = {Theory Appl. Categ.},
FJOURNAL = {Theory and Applications of Categories},
VOLUME = {32},
YEAR = {2017},
PAGES = {Paper No. 11, 380--395},
ISSN = {1201-561X},
MRCLASS = {18C10 (18D10)},
MRNUMBER = {3633708},
MRREVIEWER = {John Bourke},
}
@misc{Crane.Yetter:1996a,
title={Examples of categorification},
author={Crane, Louis and Yetter, David N},
eprint={q-alg/9607028},
year={1996}
}
@article{Cruttwell.Shulman:2010a,
Author = {Cruttwell, G.S.H. and Shulman, Michael},
% Eprint = {0907.2460},
% Eprintclass = {math.CT},
% Eprinttype = {arXiv},
Journaltitle = {Theory and Applications of Categories},
% Number = {21},
Pages = {Paper No. 21, 580--655},
Title = {A unified framework for generalized multicategories},
Volume = {24},
Year = {2010}
}
@misc{culbertson2019formal,
Author = {Jared Culbertson and Paul Gustafson and Daniel E. Koditschek and Peter F. Stiller},
Title = {Formal composition of hybrid systems},
Year = {2019},
Eprint = {arXiv:1911.01267},
}
@inproceedings{Curry.Ghrist.Robinson:2012a,
title={Euler calculus with applications to signals and sensing},
author={Curry, Justin and Ghrist, Robert and Robinson, Michael},
booktitle={Proceedings of Symposia in Applied Mathematics},
volume={70},
pages={75--146},
year={2012}
}
%D
@article{Dalton.Olson.Bell:2015a,
title={Optimizing Sparse Matrix-Matrix Multiplication for the GPU},
author={Dalton, Steven and Olson, Luke and Bell, Nathan},
journal={ACM Transactions on Mathematical Software (TOMS)},
volume={41},
number={4},
pages={25},
year={2015},
publisher={ACM}
}
@article{danos2015dirichlet,
title={Dirichlet is natural},
author={Danos, Vincent and Garnier, Ilias},
journal={Electronic Notes in Theoretical Computer Science},
volume={319},
pages={137--164},
year={2015},
publisher={Elsevier}
}
@article{Dawson.Pare.Pronk:2010a,
Author = {Dawson, Robert and Par{\'e}, Robert and Pronk, Dorette},
Journaltitle = {Theory and Applications of Categories},
% Number = {13},
Pages = {Paper No. 13, 302--377},
Title = {The span construction},
Volume = {24},
Year = {2010}
}
@article {day1977note,
AUTHOR = {Day, B. J.},
TITLE = {Note on compact closed categories},
% JOURNAL = {J. Austral. Math. Soc. Ser. A},
JOURNAL = {Journal of the Australian Mathematical Society, Series A},
VOLUME = {24},
YEAR = {1977},
NUMBER = {3},
PAGES = {309--311},
MRCLASS = {18D15},
MRNUMBER = {0470024},
MRREVIEWER = {J. Lambek},
}
@article {Day.Street:1997a,
AUTHOR = {Day, Brian and Street, Ross},
TITLE = {Monoidal bicategories and {H}opf algebroids},
% JOURNAL = {Adv. Math.},
% FJOURNAL = {Advances in Mathematics},
JOURNAL = {Advances in Mathematics},
VOLUME = {129},
YEAR = {1997},
NUMBER = {1},
PAGES = {99--157},
%ISSN = {0001-8708},
CODEN = {ADMTA4},
MRCLASS = {18D10 (16W30)},
MRNUMBER = {1458415},
MRREVIEWER = {Graham J. Ellis},
%URL = {http://dx.doi.org/10.1006/aima.1997.1649},
}
@book{Dedekind:1872a,
title = {Stetigkeit und irrationale Zahlen},
author = {Dedekind, Richard},
year = {1872},
publisher = {F. Vieweg und sohn}
}
@inproceedings{deMoura.Soonho.Avigad.VanDoorn.vonRaumer:2015a,
title={The Lean theorem prover (system description)},
author={de Moura, Leonardo and Kong, Soonho and Avigad, Jeremy and Van Doorn, Floris and von Raumer, Jakob},
booktitle={International Conference on Automated Deduction},
pages={378--388},
year={2015},
organization={Springer}
}
@article{Denno.Berkmeyer.Neuhaus:2009a,
title={Use of Semantic Mediation in Manufacturing Supply Chains},
author={Denno, Peter and Barkmeyer, Edward J and Neuhaus, Fabian},
journal={Cases on Semantic Interoperability for Information Systems Integration: Practices and Applications: Practices and Applications},
pages={43},
year={2009},
publisher={IGI Global}
}
@article{dePaiva1989dialectica,
title={The dialectica categories},
author={de Paiva, Valeria},
journal={Categories in Computer Science and Logic},
volume={92},
pages={47--62},
year={1989},
publisher={Contemp. Math}
}
@article{DeVille.Lerman:2015a,
Author = {L. DeVille and E. Lerman},
Title = {Dynamics on networks of manifolds},
Journal = {SIGMA Symmetry Integrability Geom.\ Methods Appl.},
Volume = {11},
Year = {2015},
}
@article{Dionne.Golubitsky.Stewart:1996a,
Author = {B. Dionne and M. Golubitsky and I. Stewart},
Title = {Coupled cells with internal symmetry Part I: wreath products},
Journal = {Nonlinearity},
Volume = {9},
Year = {1996},
Page = {559 -- 574}
}
@article{Dionne.Golubitsky.Stewart:1996b,
Author = {B. Dionne and M. Golubitsky and I. Stewart},
Title = {Coupled cells with internal symmetry Part II: direct products},
Journal = {Nonlinearity},
Volume = {9},
Year = {1996},
Page = {575 -- 599}
}
@inproceedings{diskin2008algebraic,
title={Algebraic models for bidirectional model synchronization},
author={Diskin, Zinovy},
booktitle={International Conference on Model Driven Engineering Languages and Systems},
pages={21--36},
year={2008},
organization={Springer}
}
@book{Doan.Halevy.Ives:2012a,
Author = {Doan, AnHai and Halevy, Alon and Ives, Zachary},
Title = {Principles of Data Integration},
Date = {2012},
%Isbn = = {0124160441, 9780124160446},
Edition = {1st},
Publisher = {Morgan Kaufmann Publishers Inc.},
Address = {San Francisco, CA, USA},
}
@article{doob1934stochastic,
title={Stochastic processes and statistics},
author={Doob, Joseph L},
journal={Proceedings of the National Academy of Sciences of the United States of America},
volume={20},
number={6},
pages={376},
year={1934},
publisher={National Academy of Sciences}
}
@book{Dubuc:1970a,
Author = {Dubuc, Eduardo J.},
Title = {Kan extensions in enriched category theory},
Series = {Lecture Notes in Mathematics, Vol. 145},
Publisher = {Springer-Verlag, Berlin-New York},
Year = {1970},
}
@book{dummit2004abstract,
title={Abstract algebra},
author={Dummit, David Steven and Foote, Richard M},
volume={3},
year={2004},
publisher={Wiley Hoboken}
}
%E
@book{einstein1956investigations,
title={Investigations on the Theory of the Brownian Movement},
author={Einstein, Albert},
year={1956},
publisher={Courier Corporation}
}
@book{Ellacott.Mason.Anderson:2012a,
title={Mathematics of neural networks: models, algorithms and applications},
author={Ellacott, Stephen W and Mason, John C and Anderson, Iain J},
volume={8},
year={2012},
publisher={Springer Science \& Business Media}
}
@article{Epstein.Golubitsky:1993a,
Author = {I.R. Epstein and M. Golubitsky},
Title = {Symmetric patterns in linear arrays of coupled cells},
Journal = {Chaos},
Volume = {3},
% Number ={1},
Pages = {Paper No. 1},
Year = {1993},
}
@book{Ertas.Jones:1996a,
title={The engineering design process},
author={Ertas, Atila and Jones, Jesse C},
year={1996},
publisher={Wiley New York}
}
%F
@inproceedings{Fatahalian.Sugerman.Hanrahan:2004a,
title={Understanding the efficiency of GPU algorithms for matrix-matrix multiplication},
author={Fatahalian, Kayvon and Sugerman, Jeremy and Hanrahan, Pat},
booktitle={Proceedings of the ACM SIGGRAPH/EUROGRAPHICS conference on Graphics hardware},
pages={133--137},
year={2004},
organization={ACM}
}
@inproceedings{Fateman:1992a,
title={Honest plotting, global extrema, and interval arithmetic},
author={Fateman, Richard},
booktitle={Papers from the international symposium on Symbolic and algebraic computation},
pages={216--223},
year={1992},
organization={ACM}
}
@article{Ferrari:2016a,
title={Dyck Algebras, Interval Temporal Logic, and Posets of Intervals},
author={Luca Ferrari},
journal={SIAM J. Discrete Math.},
year={2016},
volume={30},
pages={1918--1937}
}
@book{feys2018long,
AUTHOR = {Feys, Frank MV and Hansen, Helle Hvid and Moss, Lawrence S},
TITLE = {Long-Term Values in Markov Decision Processes, (Co)Algebraically},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer},
YEAR = {2018},
}
@article{Finger.Konda.Subrahmanian:1995a,
title={Concurrent design happens at the interfaces},
author={Finger, Susan and Konda, Suresh and Subrahmanian, Eswaran},
journal={Artificial Intelligence for Engineering, Design, Analysis and Manufacturing},
volume={9},
number={02},
pages={89--99},
year={1995},
publisher={Cambridge Univ Press}
}
@inproceedings{Fiore:2000a,
title={Fibred models of processes: Discrete, continuous, and hybrid systems},
author={Fiore, Marcelo P},
booktitle={IFIP TCS},
volume={1872},
pages={457--473},
year={2000},
organization={Springer}
}
@article{Fleming.Gunther.Rosebrugh:2003a,
Author = {Fleming, Michael and Gunther, Ryan and Rosebrugh, Robert},
Title = {A database of categories},
Journal = {Journal of Symbolic Computation},
Volume = {35},
Year = {2003},
% Number = {2},
Pages = {Paper No. 2, 127--135},
%Issn = {0747-7171},
% Doi = {10.1016/S0747-7171(02)00104-9},
}
@mastersthesis{fong2012causal,
title = {Causal theories: a categorical perspective on Bayesian networks},
school = {University of Oxford},
author = {Brendan Fong},
year = {2012}
}
@article{fong2015decorated,
title={Decorated cospans},
author={Fong, Brendan},
journal={Theory and Applications of Categories},
volume={30},
number={33},
pages={1096--1120},
year={2015}
}
@inproceedings{fong2016categorical,
title={A categorical approach to open and interconnected dynamical systems},
author={Fong, Brendan and Soboci{\'n}ski, Pawe{\l} and Rapisarda, Paolo},
booktitle={Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science},
pages={495--504},
year={2016}
}
@phdthesis{Fong:2016a,
title = {The Algebra of Open and Interconnected Systems},
school = {University of Oxford},
author = {Brendan Fong},
year = {2016}
}
@article{fong2017decorated,
title={Decorated corelations},
author={Fong, Brendan},
journal={Theory and Applications of Categories},
volume={33},
number={22},
pages={608--643},
year={2018},
% archivePrefix = {arXiv},
% eprint = {1703.09888},
}
@inproceedings{fong2019backprop,
title={Backprop as Functor: A compositional perspective on supervised learning},
author={Fong, Brendan and Spivak, David I. and Tuy{\'e}ras, R{\'e}my},
Eprint={arXiv:1711.10455},
booktitle={Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science},
year={2019},
organization={ACM}
}
@misc{fong2019abelian,
Author = {Brendan Fong and David I. Spivak},
Title = {``\textnormal{Abelian Calculi}''. To appear},
Year = {2019},
}
@book{fong2019seven,
title={Seven Sketches in Compositionality: An Invitation to Applied Category Theory},
author={Fong, Brendan and Spivak, David I.},
year={2019},
publisher={Cambridge University Press},
}
@article{fong2019hypergraph,
Author = {Brendan Fong and David I.\ Spivak},
Title = {Hypergraph Categories},
Year = {2019},
Journaltitle = {Journal of Pure and Applied Algebra},
archivePrefix = {arXiv},
eprint = {1806.08304},
}
@article{fong2019supplying,
Author = {Brendan Fong and David I. Spivak},
Title = {Supplying bells and whistles in monoidal categories.},
Year = {2019},
Journaltitle = {preprint},
archivePrefix = {arXiv},
eprint = {1908.02633}
}
@article{fong2019regular,
Author = {Brendan Fong and David I. Spivak},
Title = {Regular and relational categories:\\Revisiting `Cartesian bicategories I'},
Year = {2019},
}
@article{fong2018graphical,
Author = {Brendan Fong and David I.\ Spivak},
Title = {Graphical Regular Logic},
Year = {2018},
Journaltitle = {preprint},
archivePrefix = {arXiv},
eprint = {1806.08304},
}
@misc{Fong.Sarazola:2018,
Author = {Brendan Fong and Maru Sarazola},
Title = {A recipe for black box functors},
Year = {2018},
}
@article{Fourman:1977a,
title={The logic of topoi},
author={Fourman, Michael P},
journal={Studies in Logic and the Foundations of Mathematics},
volume={90},
pages={1053--1090},
year={1977},
publisher={Elsevier}
}
@article {fox1976coalgebras,
AUTHOR = {Fox, Thomas},
TITLE = {Coalgebras and {C}artesian categories},
JOURNAL = {Comm. Algebra},
FJOURNAL = {Communications in Algebra},
VOLUME = {4},
YEAR = {1976},
NUMBER = {7},
PAGES = {665--667},
% ISSN = {0092-7872},
MRCLASS = {18D15},
% MRNUMBER = {0404387},
% MRREVIEWER = {Kenneth Newman},
% DOI = {10.1080/00927877608822127},
% URL = {https://doi.org/10.1080/00927877608822127},
}
@book {Fraleign:1967a,
AUTHOR = {Fraleigh, John B.},
TITLE = {A first course in abstract algebra},
PUBLISHER = {Addison-Wesley Publishing Co., Reading, Mass.-London-Don
Mills, Ont.},
YEAR = {1967},
PAGES = {xvi+447},
MRCLASS = {00.00},
MRNUMBER = {0225619},
}
@article {Fritz:2017a,
AUTHOR = {Fritz, Tobias},
TITLE = {Resource convertibility and ordered commutative monoids},
% JOURNAL = {Math. Structures Comput. Sci.},
% FJOURNAL = {Mathematical Structures in Computer Science},
JOURNAL = {Mathematical Structures in Computer Science},
VOLUME = {27},
YEAR = {2017},
NUMBER = {6},
PAGES = {850--938},
%ISSN = {0960-1295},
MRCLASS = {91B32 (06F05 18D10)},
MRNUMBER = {3683631},
%URL = {https://doi.org/10.1017/S0960129515000444},
}
@misc{fritz2017probability,
title={A Probability Monad as the Colimit of Finite Powers},
author={Fritz, Tobias and Perrone, Paolo},
eprint={arXiv:1712.05363},
year={2017}
}
@misc{fritz2019synthetic,
title={A synthetic approach to stochastic maps, conditional
independence, and theorems on sufficient statistics},
author={Fritz, Tobias},
note={\emph{To appear}},
year={2019}
}
@book{freyd1990categories,
title={Categories, Allegories},
author={Freyd, P.J. and Scedrov, A.},
% isbn={9780080887012},
series={North-Holland Mathematical Library},
% url={https://books.google.com/books?id=fCSJRegkKdoC},
year={1990},
publisher={Elsevier Science}
}
@article{friston2010free,
title={The free-energy principle: a unified brain theory?},
author={Friston, Karl},
journal={Nature reviews neuroscience},
volume={11},
number={2},
pages={127--138},
year={2010},
publisher={Nature Publishing Group}
}
%G
@incollection {gadducci1997inductive,
AUTHOR = {Gadducci, F. and Heckel, R.},
TITLE = {An inductive view of graph transformation},
BOOKTITLE = {Recent trends in algebraic development techniques
({T}arquinia, 1997)},
SERIES = {Lecture Notes in Comput. Sci.},
VOLUME = {1376},
PAGES = {223--237},
PUBLISHER = {Springer, Berlin},
YEAR = {1998},
MRCLASS = {68Q42 (68R10)},
MRNUMBER = {1656753},
% DOI = {10.1007/3-540-64299-4_36},
%URL = {https://doi.org/10.1007/3-540-64299-4_36},
}
@article{Galarreta.Hestrin:1999a,
title={A network of fast-spiking cells in the neocortex connected by electrical synapses},
author={Galarreta, Mario and Hestrin, Shaul},
journal={Nature},
volume={402},
number={6757},
pages={72--75},
year={1999},
publisher={Nature Publishing Group}
}
@misc{Galvez.Kock.Tonks:2015a,
Author = {Imma G\'{a}lvez-Carrillo and Joachim Kock and Andrew Tonks},
Title = {Decomposition spaces, incidence algebras and M\:{o}bius inversion I: basic theory},
Year = {2015},
Eprint = {arXiv:1512.07573},
}
@article{garner2018shapely,
title={Shapely monads and analytic functors},
author={Garner, Richard and Hirschowitz, Tom},
journal={Journal of Logic and Computation},
volume={28},
number={1},
pages={33--83},
year={2018},
publisher={Oxford University Press}
}
@misc{Garner.Shulman:2013a,
Author = {Garner, Richard and Shulman, Michael},
Eprint = {arXiv: 1301.3191v2},
Title = {Enriched categories as a free cocompletion},
Date = {2015},
}
@article{gibbons2012relating,
title={Relating algebraic and coalgebraic descriptions of lenses},
author={Gibbons, Jeremy and Johnson, Michael},
journal={Electronic Communications of the EASST},
volume={49},
year={2012}
}
@book {Gierz.Keimel.Lawson.Mislove.Scott:2003a,
AUTHOR = {Gierz, G. and Hofmann, K. H. and Keimel, K. and Lawson, J. D.
and Mislove, M. and Scott, D. S.},
TITLE = {Continuous lattices and domains},
SERIES = {Encyclopedia of Mathematics and its Applications},
VOLUME = {93},
PUBLISHER = {Cambridge University Press, Cambridge},
YEAR = {2003},
PAGES = {xxxvi+591},
%ISBN = = {0-521-80338-1},
MRCLASS = {06-00 (06B35 54H12 68Q55)},
MRNUMBER = {1975381},
MRREVIEWER = {James W. Lea, Jr.},
% DOI = {10.1017/CBO9780511542725},
%URL = {http://dx.doi.org/10.1017/CBO9780511542725},
}
@article{Giesa.Spivak.Buehler:2012a,
title={Category theory based solution for the building block replacement problem in materials design},
author={Giesa, Tristan and Spivak, David I and Buehler, Markus J},
journal={Advanced Engineering Materials},
volume={14},
number={9},
pages={810--817},
year={2012},
publisher={Wiley Online Library}
}
@article{ghani2016compositional,
title={Compositional game theory},
author={Ghani, Neil and Hedges, Jules and Winschel, Viktor and Zahn, Philipp},
journal={Proceedings of Logic in Computer Science (LiCS) 2018},
year={2016}
}
@book{Glazek:2013a,
title={A Guide to the Literature on Semirings and their Applications in Mathematics and Information Sciences: With Complete Bibliography},
author={Glazek, K},
year={2013},
publisher={Springer Science \& Business Media}
}
@article {Goldsztejn:2011a,
AUTHOR = {Goldsztejn, Alexandre},
TITLE = {Modal intervals revisited, part 1: {A} generalized interval
natural extension},
% JOURNAL = {Reliab. Comput.},
% FJOURNAL = {Reliable Computing},
JOURNAL = {Reliable Computing},
VOLUME = {16},
YEAR = {2011},
MONTH = {12},
PAGES = {130--183},
%ISSN = {1573-1340},
MRCLASS = {65G40 (03B30 68N30)},
MRNUMBER = {2991378},
MRREVIEWER = {Walid Gomaa},
}
@article{Golubitsky.Stewart:2006a,
Author = {M. Golubitsky and I. Stewart },
Title = {Nonlinear dynamics of networks: the groupoid formalism},
Journal = {Bull. Amer. Math. Soc. (N.S.)},
Volume = {43},
% Number = {3},
Year = {2006},
Pages = {Paper No. 3, 305--364}
}
@article{Goto.Geijn:2008a,
title={Anatomy of high-performance matrix multiplication},
author={Goto, Kazushige and Geijn, Robert A},
journal={ACM Transactions on Mathematical Software (TOMS)},
volume={34},
number={3},
% pages={12},
year={2008},
publisher={ACM}
}
@ARTICLE{Grandis:2001a,
author = {Marco Grandis},
title = {Directed homotopy theory, I. the fundamental category},
journal = {Cahiers Top. G{\'e}om. Diff. Cat{\'e}g},
year = {2001}
}
@book {Grandis:2018,
author = {Marco Grandis},
title = {Category Theory and Applications},
year = {2018},
publisher = {World Scientific},
}
@article{Grandis.Pare:2004a,
Author = {Grandis, Marco and Par{\'e}, Robert},
Journaltitle = {Cahiers de Topologie et G{\'e}om{\'e}trie Diff{\'e}rentielle Cat{\'e}goriques},
% Number = {3},
Pages = {Paper No. 3, 193--240},
Title = {Adjoint for double categories},
Volume = {45},
Year = {2004}
}
@article{Grigorev.Vorobjov:1988a,
title={Solving systems of polynomial inequalities in subexponential time},
author={Grigor'ev, D Yu and Vorobjov, NN},
journal={Journal of symbolic computation},
volume={5},
number={1},
pages={37--64},
year={1988},
publisher={Elsevier}
}
%H
@misc{Hackney.Robertson:2012a,
Author = {Hackney, Philip and Robertson, Marcy},
Date = {2012},
Eprint = {arXiv: 1207.2773v2},
% Primaryclass = {math.CT},
Title = {On the category of props},
}
@article{Haghverdi.Tabuada.Pappas:2003a,
title={Bisimulation relations for dynamical and control systems},
author={Haghverdi, Esfandiar and Tabuada, Paulo and Pappas, George},
journal={Electronic Notes in Theoretical Computer Science},
volume={69},
pages={120--136},
year={2003},
publisher={Elsevier}
}
@article{Halpern.Shoham:1991a,
title={A propositional modal logic of time intervals},
author={Halpern, Joseph Y and Shoham, Yoav},
journal={Journal of the ACM (JACM)},
volume={38},
number={4},
pages={935--962},
year={1991},
publisher={ACM}
}
@article{hansen2016stream,
title={Stream differential equations: specification formats and solution methods},
author={Hansen, Helle Hvid and Kupke, Clemens and Rutten, Jan},
journal={arXiv preprint arXiv:1609.08367},
year={2016}
}
@book{Harper:2016a,
title={Practical foundations for programming languages},
author={Harper, Robert},
year={2016},
publisher={Cambridge University Press}
}
@article{Hasegawa.Katsumata:2010a,
AUTHOR = {Hasegawa, Masahito and Katsumata, Shin-ya},
TITLE = {A note on the biadjunction between 2-categories of traced
monoidal categories and tortile monoidal categories},
% JOURNAL = {Math. Proc. Cambridge Philos. Soc.},
% FJOURNAL = {Mathematical Proceedings of the Cambridge Philosophical
% Society},
FJOURNAL = {Mathematical Proceedings of the Cambridge Philosophical
Society},
VOLUME = {148},
YEAR = {2010},
NUMBER = {1},
PAGES = {107--109},
%ISSN = {0305-0041},
CODEN = {MPCPCO},
MRCLASS = {18D05},
MRNUMBER = {2575376},
% DOI = {10.1017/S0305004109002606},
%URL = {http://dx.doi.org/10.1017/S0305004109002606},
}
@book{hawkins2007intelligence,
title={On intelligence: How a new understanding of the brain will lead to the creation of truly intelligent machines},
author={Hawkins, Jeff and Blakeslee, Sandra},
year={2007},
publisher={Macmillan}
}
@misc{hedges2018limits,
Author = {Jules Hedges},
Title = {Limits of bimorphic lenses},
Year = {2018},
Eprint = {arXiv:1808.05545},
}
@inproceedings{hasuo2009coalgebraic,
title={Coalgebraic components in a many-sorted microcosm},
author={Hasuo, Ichiro and Heunen, Chris and Jacobs, Bart and Sokolova, Ana},
booktitle={International Conference on Algebra and Coalgebra in Computer Science},
pages={64--80},
year={2009},
organization={Springer}
}
@misc{hedges2016compositionality,
title={Compositionality and string diagrams for game theory},
author={Hedges, Jules and Shprits, Evguenia and Winschel, Viktor and Zahn, Philipp},
eprint={arXiv:1604.06061},
year={2016}
}
@misc{hedges2017coherence,
title={Coherence for lenses and open games},
author={Hedges, Jules},
eprint={arXiv:1704.02230},
year={2017}
}
@article{hedges2018morphisms,
title={Morphisms of open games},
author={Hedges, Jules},
journal={Electronic Notes in Theoretical Computer Science},
volume={341},
pages={151--177},
year={2018},
publisher={Elsevier}
}
@misc{henry2012simplification,
title={Simplification in Semi-continuous real?},
author={Henry, Simon},
year={2012},
publisher={Mathoverflow},
url={https://mathoverflow.net/questions/108029}
}
@incollection {Hermida.Makkai.Power:1998a,
AUTHOR = {Hermida, Claudio and Makkai, Michael and Power, John},
TITLE = {Higher-dimensional multigraphs},
BOOKTITLE = {Thirteenth {A}nnual {IEEE} {S}ymposium on {L}ogic in
{C}omputer {S}cience ({I}ndianapolis, {IN}, 1998)},
PAGES = {199--206},
PUBLISHER = {IEEE Computer Soc., Los Alamitos, CA},
YEAR = {1998},
MRCLASS = {18D05 (03D05 68Q45)},
MRNUMBER = {1659602},
% DOI = {10.1109/LICS.1998.705656},
%URL = {https://doi.org/10.1109/LICS.1998.705656},
}
@article {Hermida:2000a,
AUTHOR = {Hermida, Claudio},
TITLE = {Representable multicategories},
% JOURNAL = {Adv. Math.},
% FJOURNAL = {Advances in Mathematics},
JOURNAL = {Advances in Mathematics},
VOLUME = {151},
YEAR = {2000},
NUMBER = {2},
PAGES = {164--225},
%ISSN = {0001-8708},
MRCLASS = {18D05 (18D10)},
MRNUMBER = {1758246},
%URL = {http://dx.doi.org/10.1006/aima.1999.1877},
}
@incollection{henzinger2000theory,
title={The theory of hybrid automata},
author={Henzinger, Thomas A},
booktitle={Verification of Digital and Hybrid Systems},
pages={265--292},
year={2000},
publisher={Springer}
}
@inproceedings{higgins1993duality,
title={Duality for base-changing morphisms of vector bundles, modules, Lie algebroids and Poisson structures},
author={Higgins, Philip J and Mackenzie, Kirill CH},
booktitle={Mathematical Proceedings of the Cambridge Philosophical Society},
volume={114},
number={3},
pages={471--488},
year={1993},
organization={Cambridge University Press}
}
@inproceedings{Hunter.Ouaknine.Worrel:2013a,
title={Expressive completeness for metric temporal logic},
author={Hunter, Paul and Ouaknine, Jo{\"e}l and Worrell, James},
booktitle={Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science},
pages={349--357},
year={2013},
organization={IEEE Computer Society}
}
%I
@inproceedings{Islam.Phoa:1994a,
title={Categorical models of relational databases I: Fibrational formulation, schema integration},
author={Islam, Amitavo and Phoa, Wesley},
booktitle={International Symposium on Theoretical Aspects of Computer Software},
pages={618--641},
year={1994},
organization={Springer}
}
%J
@book{jacobson2012basic,
title={Basic algebra I},
author={Jacobson, Nathan},
year={2012},
publisher={Courier Corporation}
}
@book {Jacobs:1999a,
Author = {Jacobs, Bart},
Title = {Categorical logic and type theory},
Series = {Studies in Logic and the Foundations of Mathematics},
Volume = {141},
Publisher = {North-Holland Publishing Co., Amsterdam},
Year = {1999},
Pages = {xviii+760},
%ISBN = = {0-444-50170-3},
}
@book{jacobs2017introduction,
title={Introduction to Coalgebra},
author={Jacobs, Bart},
volume={59},
year={2017},
publisher={Cambridge University Press}
}
@article{Jayewardene2000,
author="Jayewardene, Romaine
and Wyler, Oswald",
title="Categories of Relations and Functional Relations",
journal="Applied Categorical Structures",
year="2000",
volume="8",
number="1",
pages="279--305",
% url="https://doi.org/10.1023/A:1008651524610"
}
@article{Johnson.Rosebrugh:2002a,
Title = {Sketch Data Models, Relational Schema and Data Specifications},
Journal = {Electronic Notes in Theoretical Computer Science },
Volume = {61},
Pages = {51 - 63},
Year = {2002},
Note = {CATS'02, Computing},
Author = {Michael Johnson and Robert Rosebrugh},
}
@article{johnson2012lenses,
title={Lenses, fibrations and universal translations},
author={Johnson, Michael and Rosebrugh, Robert and Wood, Richard J},
journal={Mathematical Structures in Computer Science},
volume={22},
number={1},
pages={25--42},
year={2012},
publisher={Cambridge University Press}
}
@book {Johnstone:1977a,
AUTHOR = {Johnstone, P. T.},
TITLE = {Topos theory},
NOTE = {London Mathematical Society Monographs, Vol. 10},
PUBLISHER = {Academic Press [Harcourt Brace Jovanovich, Publishers],
London-New York},
YEAR = {1977},
PAGES = {xxiii+367},
%ISBN = = {0-12-387850-0},
MRCLASS = {18B99 (02K10 18A15 18C99)},
MRNUMBER = {0470019},
MRREVIEWER = {Marta C. Bunge},
}
@article {Johnstone:1999a,
AUTHOR = {Johnstone, Peter},
TITLE = {A note on discrete {C}onduch\'e fibrations},
% JOURNAL = {Theory Appl. Categ.},
% FJOURNAL = {Theory and Applications of Categories},
JOURNAL = {Theory and Applications of Categories},
VOLUME = {5},
YEAR = {1999},
PAGES = {No.\ 1, 1--11},
%ISSN = {1201-561X},
MRCLASS = {18A22 (18B25)},
MRNUMBER = {1667312},
MRREVIEWER = {Kimmo I. Rosenthal},
}
@article{johnstone2001structure,
title={On the structure of categories of coalgebras},
author={Johnstone, Peter and Power, John and Tsujishita, Toru and Watanabe, Hiroshi and Worrell, James},
journal={Theoretical Computer Science},
volume={260},
number={1-2},
pages={87--117},
year={2001},
publisher={Elsevier}
}
@book {Johnstone:2002a,
AUTHOR = {Johnstone, Peter T.},
TITLE = {Sketches of an elephant: a topos theory compendium.},
SERIES = {Oxford Logic Guides},
VOLUME = {43},
PUBLISHER = {The Clarendon Press Oxford University Press},
ADDRESS = {New York},
YEAR = {2002},
PAGES = {xxii+468+71},
%ISBN = = {0-19-853425-6},
MRCLASS = {18B25 (18-02)},
MRNUMBER = {1953060 (2003k:18005)},
MRREVIEWER = {Colin McLarty},
}
@article {Johnstone.Joyal:1982a,
AUTHOR = {Johnstone, Peter and Joyal, Andr\'e},
TITLE = {Continuous categories and exponentiable toposes},
% JOURNAL = {J. Pure Appl. Algebra},
% FJOURNAL = {Journal of Pure and Applied Algebra},
JOURNAL = {Journal of Pure and Applied Algebra},
VOLUME = {25},
YEAR = {1982},
NUMBER = {3},
PAGES = {255--296},
%ISSN = {0022-4049},
MRCLASS = {18F20 (03G30 06B30)},
MRNUMBER = {666021},
MRREVIEWER = {J. R. Isbell},
% DOI = {10.1016/0022-4049(82)90083-4},
%URL = {http://dx.doi.org/10.1016/0022-4049(82)90083-4},
}
@article{Jones.Eber.Seward:2000a,
title={Composing contracts: an adventure in financial engineering(functional pearl)},
author={Jones, Simon Peyton and Eber, Jean-Marc and Seward, Julian},
journal={ACM SIGPLAN NOTICES},
volume={35},
number={9},
pages={280--292},
year={2000},
publisher={ACM; 1999}
}
@article{joyal1981combinatorial,
title = "Une théorie combinatoire des séries formelles",
journal = "Advances in Mathematics",
volume = "42",
number = "1",
pages = "1 - 82",
year = "1981",
issn = "0001-8708",
author = "André Joyal",
abstract = "This paper presents a combinatorial theory of formal power series. The combinatorial interpretation of formal power series is based on the concept of species of structures. A categorical approach is used to formulate it. A new proof of Cayley's formula for the number of labelled trees is given as well as a new combinatorial proof (due to G. Labelle) of Lagrange's inversion formula. Polya's enumeration theory of isomorphism classes of structures is entirely renewed. Recursive methods for computing cycle index polynomials are described. A combinatorial version of the implicit function theorem is stated and proved. The paper ends with general considerations on the use of coalgebras in combinatorics."
}
@article {joyal1991geometry,
AUTHOR = {Joyal, Andr\'{e} and Street, Ross},
TITLE = {The geometry of tensor calculus. {I}},
JOURNAL = {Adv. Math.},
FJOURNAL = {Advances in Mathematics},
VOLUME = {88},
YEAR = {1991},
NUMBER = {1},
PAGES = {55--112},
}
@article{Joyal.Nielsen.Winskel:1996a,
title={Bisimulation from open maps},
author={Joyal, Andr{\'e} and Nielsen, Mogens and Winskel, Glynn},
journal={Information and Computation},
volume={127},
number={2},
pages={164--185},
year={1996},
publisher={Elsevier}
}
@article {Joyal.Street:1993a,
AUTHOR = {Joyal, Andr{\'e} and Street, Ross},
TITLE = {Braided tensor categories},
% JOURNAL = {Adv. Math.},
% FJOURNAL = {Advances in Mathematics},
JOURNAL = {Advances in Mathematics},
VOLUME = {102},
YEAR = {1993},
NUMBER = {1},
PAGES = {20--78},
%ISSN = {0001-8708},
CODEN = {ADMTA4},
MRCLASS = {18D10 (19D23 20G05)},
MRNUMBER = {1250465 (94m:18008)},
MRREVIEWER = {Daniel Conduch{\'e}},
%URL = {http://dx.doi.org/10.1006/aima.1993.1055},
}
@article{Joyal.Street.Verity:1996a,
Author = {Joyal, Andr{{\'e}} and Street, Ross and Verity, Dominic},
% Doi = {10.1017/S0305004100074338},
% %Issn = {0305-0041},
Journaltitle = {Mathematical Proceedings of the Cambridge Philosophical Society},
% Number = {3},
Pages = {Paper No. 3, 447--468},
Title = {Traced monoidal categories},
Volume = {119},
Year = {1996}
}
%K
@phdthesis{Kamp:1968a,
title={Tense logic and the theory of linear order},
author={Kamp, Johan Anthony Wilem},
school={University of California, Los Angeles},
year={1968}
}
@article {Karazeris:2004a,
AUTHOR = {Karazeris, Panagis},
TITLE = {Notions of flatness relative to a {G}rothendieck topology},
% JOURNAL = {Theory Appl. Categ.},
% FJOURNAL = {Theory and Applications of Categories},
JOURNAL = {Theory and Applications of Categories},
VOLUME = {12},
YEAR = {2004},
PAGES = {No. 5, 225--236},
%ISSN = {1201-561X},
MRCLASS = {18A35 (03G30 18F10)},
MRNUMBER = {2056096},
MRREVIEWER = {Dumitru Bu{\c{s}}neag},
}
@book {Kashiwara.Schapira:2006a,
AUTHOR = {Kashiwara, Masaki and Schapira, Pierre},
TITLE = {Categories and sheaves},
SERIES = {Grundlehren der Mathematischen Wissenschaften [Fundamental
Principles of Mathematical Sciences]},
VOLUME = {332},
PUBLISHER = {Springer-Verlag, Berlin},
YEAR = {2006},
PAGES = {x+497},
%ISBN = = {978-3-540-27949-5},
MRCLASS = {18-02 (14F05 18F20)},
MRNUMBER = {2182076},
MRREVIEWER = {Corrado Marastoni},
% DOI = {10.1007/3-540-27950-4},
%URL = {http://dx.doi.org/10.1007/3-540-27950-4},
}
@incollection{Kaucher:1980a,
title={Interval analysis in the extended interval space IR},
author={Kaucher, Edgar},
booktitle={Fundamentals of Numerical Computation (Computer-Oriented Numerical Analysis)},
pages={33--49},
year={1980},
publisher={Springer}
}
@book{Kearns.Vazirani:1994a,
title={An introduction to computational learning theory},
author={Kearns, Michael J and Vazirani, Umesh Virkumar},
year={1994},
publisher={MIT press}
}
@article{Kelly:1982a,
Author = {Kelly, G. M.},
Title = {Basic concepts of enriched category theory},
Journaltitle = {Reprints in Theory and Applications of Categories},
% Number = {10},
Pages = {Paper No. 10},
Origdate = {1982},
Origpublisher = {Cambridge University Press},
Url = {http://www.tac.mta.ca/tac/reprints/articles/10/tr10abs.html},
Year = {2005}
}
@inproceedings{kelly1974doctrinal,
title={Doctrinal adjunction},
author={Kelly, G Max},
booktitle={Category seminar},
pages={257--280},
year={1974},
organization={Springer}
}
@article{Kelly:1989a,
Author = {Kelly,G.M.},
Title = {Elementary observations on 2-categorical limits},
Journal = {Bulletin of the Australian Mathematical Society},
Volume = {39},
% Number = {02},
Date = {1989-04},
% %Issn = {1755-1633},
Pages = {Paper No. 2, 301--317},
% Doi = {10.1017/S0004972700002781},
}
@article {Kelly.Laplaza:1980a,
AUTHOR = {Kelly, G. M. and Laplaza, M. L.},
TITLE = {Coherence for compact closed categories},
% JOURNAL = {J. Pure Appl. Algebra},
% FJOURNAL = {Journal of Pure and Applied Algebra},
JOURNAL = {Journal of Pure and Applied Algebra},
VOLUME = {19},
YEAR = {1980},
PAGES = {193--213},
%ISSN = {0022-4049},
MRCLASS = {18D15 (18C10)},
MRNUMBER = {593254},
MRREVIEWER = {M. Barr},
% DOI = {10.1016/0022-4049(80)90101-2},
%URL = {http://dx.doi.org/10.1016/0022-4049(80)90101-2},
}
@book{Kishore:2007a,
title={Ontologies: A Handbook of Principles, Concepts and Applications in Information Systems},
author={Kishore, R. and Ramesh, R.},
%ISBN =={9780387370224},
lccn={2006930394},
series={Integrated Series in Information Systems},
url={https://books.google.com/books?id=mj0z27T1IigC},
year={2007},
publisher={Springer US}
}
@article{kissinger2015finite,
Author = {Kissinger, A.},
Title = {Finite matrices are complete for (dagger-)hypergraph categories},
Journaltitle = {preprint},
Url = {https://arxiv.org/abs/1406.5942},
Year = {2015}
}
@article {Kock:1995a,
AUTHOR = {Kock, Anders},
TITLE = {Monads for which structures are adjoint to units},
% JOURNAL = {J. Pure Appl. Algebra},
% FJOURNAL = {Journal of Pure and Applied Algebra},
JOURNAL = {Journal of Pure and Applied Algebra},
VOLUME = {104},
YEAR = {1995},
NUMBER = {1},
PAGES = {41--59},
%ISSN = {0022-4049},
MRCLASS = {18D05 (18A35 18C15)},
MRNUMBER = {1359690},
MRREVIEWER = {R. H. Street},
% DOI = {10.1016/0022-4049(94)00111-U},
%URL = {http://dx.doi.org/10.1016/0022-4049(94)00111-U},
}
@article{kock2012polynomial,
title={Polynomial functors and polynomial monads},
volume={154},
number={1},
journal={Mathematical Proceedings of the Cambridge Philosophical Society},
publisher={Cambridge University Press (CUP)},
author={Gambino, Nicola and Kock, Joachim},
year={2012},
month={09},
pages={153–192}
}
@unpublished{kock2016,
title={Notes on Polynomial Functors},
author={Kock, Joachim},
howpublished={\url{https://mat.uab.cat/~kock/cat/polynomial.pdf}},
note={Accessed 2023/12/04}
}
@inbook{Koestler:1969a,
chapter={Beyond atomism and holism -- the concept of the holon},
editor={Koestler, Arthur and Smythies, J.R.},
title={Beyond Reductionism (The Alpbach Symposium)},
publisher={Beacon Press},
address={Boston},
year={1969}
}
@inproceedings{Knuth.Bendix:1970a,
Author = {Knuth, Donald and Bendix, Peter},
Title = {Simple Word Problems in Universal Algebra},
Editor = {Leech, John},
Booktitle = {Computational Problems in Abstract Algebra},
Publisher = {Pergamon Press},
Date = {1970},
Pages = {263-297}
}
%L
@article {lack2004composing,
AUTHOR = {Lack, Stephen},
TITLE = {Composing {PROPS}},
% JOURNAL = {Theory Appl. Categ.},
% FJOURNAL = {Theory and Applications of Categories},
JOURNAL = {Theory and Applications of Categories},
VOLUME = {13},
YEAR = {2004},
PAGES = {No. 9, 147--163},
%ISSN = {1201-561X},
MRCLASS = {18D10 (18C10 18D35)},
MRNUMBER = {2116328},
MRREVIEWER = {R. H. Street},
}
@article{lack2010note,
title={Note on the construction of free monoids},
author={Lack, Stephen},
journal={Applied categorical structures},
volume={18},
number={1},
pages={17--29},
year={2010},
publisher={Springer}
}
@book {Lambek.Scott:1988a,
AUTHOR = {Lambek, J. and Scott, P. J.},
TITLE = {Introduction to higher order categorical logic},
SERIES = {Cambridge Studies in Advanced Mathematics},
VOLUME = {7},
NOTE = {Reprint of the 1986 original},
PUBLISHER = {Cambridge University Press, Cambridge},
YEAR = {1988},
PAGES = {x+293},
%ISBN = = {0-521-35653-9},
MRCLASS = {03B40 (03-02 03B15 03G30 18-02 18B25 18D15)},
MRNUMBER = {939612},
}
@article {lawvere1969adjointness,
AUTHOR = {Lawvere, F. William},
TITLE = {Adjointness in foundations},
NOTE = {Reprinted from Dialectica {{\textbf{2}}3} (1969)},
JOURNAL = {Repr. Theory Appl. Categ.},
FJOURNAL = {Reprints in Theory and Applications of Categories},
NUMBER = {16},
YEAR = {2006},
PAGES = {1--16},
MRCLASS = {18B25 (00A30 18A15 18A40 18B30 55U40)},
MRNUMBER = {2223032},
MRREVIEWER = {Steve Awodey},
}
@article{Lawvere:1973a,
title={Metric spaces, generalized logic, and closed categories},
author={Lawvere, F William},
journal={Rendiconti del seminario mat{\'e}matico e fisico di Milano},
volume={43},
number={1},
pages={135--166},
year={1973},
publisher={Springer}
}
@unpublished{Lawvere:1986a,
Author={Lawvere,Bill},
Title={State categories and response functors},
Date={1986}
}
@article{Lawvere:2004,
title={Functorial Semantics of Algebraic Theories and Some Algebraic Problems in the context of
Functorial Semantics of Algebraic Theories},
author={Lawvere, F William},
journal={Reprints in Theory and Applications of Categories},
volume={5},
year={2004},
pages={1--121},
}
@book {Lee:1997a,
AUTHOR = {Lee, John M.},
TITLE = {Riemannian manifolds},
SERIES = {Graduate Texts in Mathematics},
VOLUME = {176},
NOTE = {An introduction to curvature},
PUBLISHER = {Springer-Verlag, New York},
YEAR = {1997},
PAGES = {xvi+224},
%ISBN = = {0-387-98271-X},
MRCLASS = {53-01 (53C21)},
MRNUMBER = {1468735},
MRREVIEWER = {Man Chun Leung},
% DOI = {10.1007/b98852},
%URL = {http://dx.doi.org/10.1007/b98852},
}
@book{Leinster:2004a,
Author = {Leinster, Tom},
Title = {Higher operads, higher categories},
Series = {London Mathematical Society Lecture Note Series},
Number = {298},
Publisher = {Cambridge University Press, Cambridge},
Date = {2004},
%ISBN = = {0-521-53215-9},
% DOI = {10.1017/CBO9780511525896}
}
@book{Leinster:2014a,
title={Basic category theory},
author={Leinster, Tom},
volume={143},
year={2014},
publisher={Cambridge University Press}
}
@misc{lynch2023concepts,
title={All Concepts are $\mathbb{C}\mathbf{at}^\#$},
author={Owen Lynch and Brandon T. Shapiro and David I. Spivak},
year={2023},
eprint={2305.02571},
archivePrefix={arXiv},
primaryClass={math.CT}
}
%M
@book{MacLane:1998a,
Author = {Mac Lane, Saunders},
Title = {Categories for the working mathematician},
Edition = {2},
%Isbn = = {0-387-98403-8},
Location = {New York},
Publisher = {Springer-Verlag},
Series = {Graduate Texts in Mathematics},
Number = {5},
Year = {1998}
}
@book{macLane1992sheaves,
author = {MacLane, Saunders and Moerdijk, Ieke},
%ISBN = = {0387977104},
publisher = {Springer},
title = {Sheaves in Geometry and Logic: A First Introduction to Topos Theory},
year = {1992},
}
@article {Maietti:2005a,
AUTHOR = {Maietti, Maria Emilia},
TITLE = {Modular correspondence between dependent type theories and
categories including pretopoi and topoi},
% JOURNAL = {Math. Structures Comput. Sci.},
% FJOURNAL = {Mathematical Structures in Computer Science},
JOURNAL = {Mathematical Structures in Computer Science},
VOLUME = {15},
YEAR = {2005},
NUMBER = {6},
PAGES = {1089--1149},
%ISSN = {0960-1295},
MRCLASS = {03B15 (03G30 18B20)},
MRNUMBER = {2189827},
MRREVIEWER = {Carsten Butz},
% DOI = {10.1017/S0960129505004962},
%URL = {http://dx.doi.org/10.1017/S0960129505004962},
}
@article{makkai1996avoiding,
title={Avoiding the axiom of choice in general category theory},
author={Makkai, Michael},
journal={Journal of Pure and Applied Algebra},
volume={108},
number={2},
pages={109--173},
year={1996},
publisher={Elsevier}
}
@inproceedings{Maler.Nickovic:2004a,
title={Monitoring temporal properties of continuous signals},
author={Maler, Oded and Nickovic, Dejan},
booktitle={FORMATS/FTRTFT},
volume={3253},
pages={152--166},
year={2004},
organization={Springer}
}
@inproceedings{Mani.Jones.Shin.Sriram:2008a,
title={Towards information networks to support composable manufacturing},
author={Mani, Mahesh and Jones, Albert T and Shin, Junho and Sriram, Ram D},
booktitle={Proceedings of the 8th Workshop on Performance Metrics for Intelligent Systems},
pages={254--258},
year={2008},
organization={ACM}
}
@article{Marche:1996a,
Author = {March{\'e}, Claude},
Title = {Normalized Rewriting: An Alternative to Rewriting Modulo a Set of Equations},
Journaltitle = {Journal of Symbolic Computation},
Shortjournal = {J. Symb. Comput.},
Issue_date = {March 1996},
Volume = {21},
% Number = {3},
Date = {1996-03},
% %Issn = {0747-7171},
Pages = {Paper No. 3, 253--288},
% Doi = {10.1006/jsco.1996.0011},
Publisher = {Academic Press, Inc.},
Location = {Duluth, MN, USA}
}
@article{Martin.Panangaden:2006a,
title={A domain of spacetime intervals in general relativity},
author={Martin, Keye and Panangaden, Prakash},
journal={Communications in mathematical physics},
volume={267},
number={3},
pages={563--586},
year={2006},
publisher={Springer}
}
@article{Martinez:2000a,
title={Practical quasi-Newton methods for solving nonlinear systems},
author={Mart{\i}nez, Jos{\'e} Mario},
journal={Journal of Computational and Applied Mathematics},
volume={124},
number={1},
pages={97--121},
year={2000},
publisher={Elsevier}
}
@book{Matsumura:1989a,
Author = {Matsumura, Hideyuki},
Title = {Commutative ring theory},
Series = {Cambridge Studies in Advanced Mathematics},
Number = {8},
Edition = {2},
Origlanguage = {japanese},
Translator = {Reid, M.},
Publisher = {Cambridge University Press},
Year = {1989},
%Isbn = = {0-521-36764-6},
}
@misc{May:1972a,
title={The geometry of iterated loop spaces, volume 271 of Lecture Notes in Mathematics},
author={May, J Peter},
year={1972},
publisher={Springer-Verlag, New York}
}
@article{mcbride2001derivative,
title={The derivative of a regular type is its type of one-hole contexts},
author={McBride, Conor},
journal={Unpublished manuscript},
pages={74--88},
year={2001},
publisher={Citeseer}
}
@article{Mclarty:1990a,
title={The uses and abuses of the history of topos theory},
author={McLarty, Colin},
journal={The British Journal for the Philosophy of Science},
volume={41},
number={3},
pages={351--375},
year={1990},
publisher={Oxford University Press}
}
@book{Mclarty:1992a,
title={Elementary categories, elementary toposes},
author={McLarty, Colin},
year={1992},
publisher={Clarendon Press}
}
@misc{Mella:2009a,
title={The Holonic Revolution Holons, Holarchies and Holonic Networks, The Ghost in the Production Machine},
author={Mella, Piero},
year={2009},
publisher={Pavia University Press, Pavia}
}
@article{minsky1988society,
title={The society of mind},
author={Minsky, Marvin},
journal={Simon \& Schuser, NY},
year={1988}
}
@misc{minsky1969perceptrons,
title={Perceptrons: An Introduction to Computational Geometry},
author={Minsky, Marvin and Papert, Seymour},
year={1969},
publisher={MIT Press, Cambridge, Mass}
}
@book{Mitchell:1996a,
Author = {Mitchell, John C.},
Title = {Foundations of Programming Languages},
Year = {1996},
%Isbn = = {0-262-13321-0},
Publisher = {MIT Press},
Location = {Cambridge, MA},
}
@article{moeller2018noncommutative,
title={Noncommutative Network Models},
author={Moeller, Joe},
URL = {https://arxiv.org/abs/1804.07402},
year={2018}
}
@article{moeller2018monoidal,
Author = {Joe Moeller and Christina Vasilakopoulou},
Title = {Monoidal Grothendieck Construction},
Year = {2018},
Journaltitle = {preprint},
archivePrefix = {arXiv},
eprint = {1809.00727},
}
@article{moerdijk1984spaced,
title={Spaced spaces},
author={Moerdijk, Ieke},
journal={Compositio Mathematica},
volume={53},
number={2},
pages={171--209},
year={1984}
}
@misc{Morava:2012a,
Author = {Jack Morava},
Title = {Theories of anything},
Eprint = {arXiv: 1202.0684},
% Primaryclass = {math.CT},
}
@inproceedings {MortonBelief2014,
AUTHOR = {Morton, Jason},
TITLE = {Belief propagation in monoidal categories},
BOOKTITLE = {Proceedings of the 11th {W}orkshop on {Q}uantum {P}hysics and
{L}ogic},
SERIES = {Electron. Proc. Theor. Comput. Sci.},
VOLUME = {172},
PAGES = {262--269},
PUBLISHER = {EPTCS},
YEAR = {2014},
MRCLASS = {68W40 (18D10 68T27)},
MRNUMBER = {3594171},
% DOI = {10.4204/EPTCS.172.18},
%URL = {https://doi.org/10.4204/EPTCS.172.18},
}
@article{mountcastle1978organizing,
title={An organizing principle for cerebral function: the unit module and the distributed system},
author={Mountcastle, Vernon},
journal={The mindful brain},
year={1978},
publisher={MIT press}
}
@book{Munn:2008a,
Title = {Applied ontology: an introduction},
Author = {Munn, Katherine and Smith, Barry},
Volume = {9},
Year = {2008},
Publisher = {Walter de Gruyter}
}
@misc{myers2020dirichlet,
Author = {David Jaz Myers and David I. Spivak},
Title = {Dirichlet Functors are Contravariant Polynomial Functors},
Year = {2020},
Eprint = {arXiv:2004.04183},
}
@book{jaz,
author = {David Jaz Myers},
year = {2022},
title = {Categorical Systems Theory}
}
%N
@misc{ngotiaoco2017compositionality,
Author = {Timothy Ngotiaoco},
Title = {Compositionality of the Runge-Kutta Method},
Year = {2017},
Eprint = {arXiv:1707.02804},
}
@book{Nielson:1999:PPA:555142,
author = {Nielson, Flemming and Nielson, Hanne R. and Hankin, Chris},
title = {Principles of Program Analysis},
year = {1999},
%ISBN = = {3540654100},
publisher = {Springer-Verlag New York, Inc.},
address = {Secaucus, NJ, USA},
}
@book{nipkow2002isabelle,
title={Isabelle/HOL: a proof assistant for higher-order logic},
author={Nipkow, Tobias and Paulson, Lawrence C and Wenzel, Markus},
volume={2283},
year={2002},
publisher={Springer Science \& Business Media}
}
@TECHREPORT{NIST_report,
AUTHOR = {Janos Sztipanovits and Susan Ying},
TITLE = {Strategic R\&D Opportunities for 21st century Cyber-Physical Systems},
INSTITUTION = {National Institute of Standards and Technology},
MONTH = {January},
YEAR = {2013},
URL = {\url{http://www.nist.gov/el/upload/12-Cyber-Physical-Systems020113_final.pdf}}
}
@misc{nlab2022lens,
author = {{nLab authors}},
title = {lens (in computer science)},
howpublished = {\url{http://ncatlab.org/nlab/show/lens\%20\%28in\%20computer\%20science\%29}},
note = {\href{http://ncatlab.org/nlab/revision/lens\%20\%28in\%20computer\%20science\%29/26}{Revision 26}},
month = aug,
year = 2022
}
@misc{nlab:connected-limit,
author = "nLab, Contributors To",
title = "Connected limit --- nLab",
year = "2019",
url = "https://ncatlab.org/nlab/show/connected+limit",
}
@misc{nlab:created-limit,
author = "nLab, Contributors To",
title = "Created limit --- nLab",
year = "2018",
url = "https://ncatlab.org/nlab/show/created+limit",
}
@misc{Nlab:nerve-and-realization,
author = "nLab, Contributors To",
title = "Nerve and realization --- nLab",
year = "2018",
url = "http://ncatlab.org/nlab/show/nerve+and+realization",
}
@misc{Nlab:symmeric-monoidal-category,
author = "nLab, Contributors To",
Title = {Symmetric monoidal category},
year=2018,
URL = "https://ncatlab.org/nlab/revision/symmetric+monoidal+category/30"
}
@misc{Nlab:posite,
author = "nLab, Contributors To",
Title = {Posite},
year=2018,
URL = "https://ncatlab.org/nlab/show/posite"
}
@misc{Nlab:three-topos-theorems,
Title = {Three topos theorems in one },
Author = {Todd Trimble},
URL = {https://ncatlab.org/toddtrimble/published/Three+topos+theorems+in+one},
Year=2018,
}
@misc{Nlab:category_of_monoids,
author = {{nLab authors}},
title = {category of monoids},
howpublished = {\url{http://ncatlab.org/nlab/show/category+of+monoids}},
note = {\href{http://ncatlab.org/nlab/revision/category+of+monoids/28}{Revision 28}},
month = jan,
year = 2021
}
%O
@misc{oconnor2011functor,
title={Functor is to lens as applicative is to biplate: Introducing multiplate},
author={O'Connor, Russell},
eprint={arXiv:1103.2841},
year={2011}
}
@phdthesis{oles1983category,
title={A Category-theoretic approach to the semantics of programming languages},
school={Syracuse University},
author={Oles, Frank Joseph},
year={1983}
}
@inproceedings{Ouaknine.Worrell:2008a,
title={Some Recent Results in Metric Temporal Logic.},
author={Ouaknine, Jo{\"e}l and Worrell, James},
booktitle={FORMATS},
volume={5215},
pages={1--13},
year={2008}
}
%P
@misc{pare2023retrocells,
title={Retrocells},
author={Robert Paré},
year={2023},
eprint={2306.06436},
archivePrefix={arXiv},
primaryClass={math.CT}
}
@incollection{pare1969absolute,
author="Par{\'e}, Robert",
editor="Hilton, Peter J.",
title="Absolute coequalizers",
booktitle="Category Theory, Homology Theory and their Applications I",
year="1969",
publisher="Springer",
address="Berlin, Heidelberg",
pages="132--145",
isbn="978-3-540-36095-7"
}
@article{patterson2017knowledge,
author = {Evan Patterson},
title = {Knowledge Representation in Bicategories of Relations},
Journaltitle = {preprint},
% journal = {CoRR},
% volume = {abs/1706.00526},
year = {2017},
% url = {http://arxiv.org/abs/1706.00526},
archivePrefix = {arXiv},
eprint = {1706.00526},
% timestamp = {Mon, 13 Aug 2018 16:46:44 +0200},
% biburl = {https://dblp.org/rec/bib/journals/corr/Patterson17},
% bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book {Picado.Pultr:2012a,
AUTHOR = {Picado, Jorge and Pultr, Ale\v s},
TITLE = {Frames and locales},
SERIES = {Frontiers in Mathematics},
NOTE = {Topology without points},
PUBLISHER = {Birkh\"auser/Springer Basel AG, Basel},
YEAR = {2012},
PAGES = {xx+398},
%ISBN = = {978-3-0348-0153-9},
MRCLASS = {54-02},
MRNUMBER = {2868166},
MRREVIEWER = {Javier Guti\~A\copyright{}rrez Garc\~A-a},
% DOI = {10.1007/978-3-0348-0154-6},
%URL = {http://dx.doi.org/10.1007/978-3-0348-0154-6},
}
@book{Pierce:1991,
title = {Basic Category Theory for Computer Scientists},
author = {Benjamin C. Pierce},
year = {1991},
publisher = {MIT Press},
}
@article{Piessens.Steegmans:1995a,
title={Categorical data specifications},
author={Piessens, Frank and Steegmans, Eric},
journal={Theory and Applications of Categories},
volume={1},
number={8},
pages={156--173},
year={1995},
publisher={Theory Appl. Categ., Sackville, NB}
}
@book {Pitts:2013a,
AUTHOR = {Pitts, Andrew M.},
TITLE = {Nominal sets},
SERIES = {Cambridge Tracts in Theoretical Computer Science},
VOLUME = {57},
NOTE = {Names and symmetry in computer science},
PUBLISHER = {Cambridge University Press, Cambridge},
YEAR = {2013},
PAGES = {xiv+276},
%ISBN = = {978-1-107-01778-8},
MRCLASS = {03B15 (03-02 03B70 03E70 68-02 68N18)},
MRNUMBER = {3113350},
MRREVIEWER = {Sergey Goncharov},
% DOI = {10.1017/CBO9781139084673},
%URL = {http://dx.doi.org/10.1017/CBO9781139084673},
}
@article{porst2019colimits,
title={Colimits of monoids},
author={Porst, Hans-E},
journal={Theory and Applications of Categories},
volume={34},
number={17},
pages={456--467},
year={2019}
}
@book{prior1967past,
title={Past, present and future},
author={Prior, Arthur N.},
volume={154},
year={1967},
publisher={Clarendon Press Oxford}
}
@inproceedings{Pnueli:1977,
title={The temporal logic of programs},
author={Pnueli, Amir},
booktitle={Proceedings of the 18th Annual Symposium on Foundations of Computer Science (SFCS'77)},
pages={46--57},
year={1977}
}
%Q
@article{Qi.Sun:1993a,
title={A nonsmooth version of Newton's method},
author={Qi, Liqun and Sun, Jie},
journal={Mathematical programming},
volume={58},
number={1-3},
pages={353--367},
year={1993},
publisher={Springer}
}
%R
@misc{Rabinovich:2014a,
title={A Proof of Kamp's theorem},
author={Rabinovich, Alexander},
eprint={arXiv:1401.2580},
year={2014}
}
@phdthesis{Raynor:2018a,
title = {Compact symmetric multicategories and the problem of loops},
school = {University of Aberdeen},
author = {Sophie Raynor},
year = {2018}
}
@book{Rescher.Urquhart:2012a,
title={Temporal logic},
author={Rescher, Nicholas and Urquhart, Alasdair},
volume={3},
year={2012},
publisher={Springer Science \& Business Media}
}
@book{Riehl:2017a,
title={Category theory in context},
author={Riehl, Emily},
year={2017},
publisher={Courier Dover Publications}
}
@misc{riley2018categories,
title={Categories of Optics},
author={Riley, Mitchell},
eprint={arXiv:1809.00738},
year={2018}
}
@article {roos1992logic,
AUTHOR = {Roos, Nico},
TITLE = {A logic for reasoning with inconsistent knowledge},
JOURNAL = {Artificial Intelligence},
FJOURNAL = {Artificial Intelligence},
VOLUME = {57},
YEAR = {1992},
NUMBER = {1},
PAGES = {69--103},
%ISSN = {0004-3702},
MRCLASS = {68T27 (03B53 03B60)},
MRNUMBER = {1183556},
MRREVIEWER = {Alexander Leitsch},
% DOI = {10.1016/0004-3702(92)90105-7},
%URL = {https://doi.org/10.1016/0004-3702(92)90105-7},
}
@ARTICLE{rosebrugh1994adjoint,
author = {Robert Rosebrugh and R. J. Wood},
title = {An Adjoint Characterization of the Category of Sets},
journal = {Proc. Amer. Math. Soc},
year = {1994},
volume = {122},
pages = {409--413}
}
@article{rosebrugh2005generic,
AUTHOR = {Rosebrugh, Robert and Sabadini, Nicoletta, and Walters, Robert F. C.},
TITLE = {Generic commutative separable algebras and cospans of graphs},
% JOURNAL = {Theory Appl. Categ.},
% FJOURNAL = {Theory and Applications of Categories},
JOURNAL = {Theory and Applications of Categories},
VOLUME = {15},
YEAR = {2005},
PAGES = {Paper No. 6, 164--177},
}
@inproceedings{Rosebrugh.Wood:1992a,
Author = {Rosebrugh, Robert and Wood, R. J.},
Editor = {Seely, R. A. G.},
Title = {Relational Databases and Indexed Categories},
Booktitle = {Canadian Mathematical Society Conference Procedings},
Volume = {13},
Date = {1992},
Pages = {391-407},
Publisher = {American Mathematical Society},
Eventtitle = {International Summer Category Theory Meeting},
Eventdate = {1991-06-23/1991-06-30}
}
@book{Rosenthal:1990a,
title={Quantales and their applications},
author={Rosenthal, Kimmo I},
volume={234},
year={1990},
publisher={Longman Scientific and Technical}
}
@misc{Rupel.Spivak:2013a,
Author = {Dylan Rupel and David I. Spivak},
Title = {The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes},
Year = {2013},
Eprint = {arXiv:1307.6894},
}
%S
@book{Sainz.Armengol.Calm.Herrero.Jorba.Vehi:2014a,
AUTHOR = {Sainz, Miguel A. and Armengol, Joaquim and Calm, Remei and
Herrero, Pau and Jorba, Lambert and Vehi, Josep},
TITLE = {Modal interval analysis},
SERIES = {Lecture Notes in Mathematics},
VOLUME = {2091},
NOTE = {New tools for numerical information},
PUBLISHER = {Springer, Cham},
YEAR = {2014},
PAGES = {xvi+316},
%ISBN = = {978-3-319-01720-4},
MRCLASS = {65G30 (03B10)},
MRNUMBER = {3135234},
MRREVIEWER = {Fr\~A\copyright{}d\~A\copyright{}ric Goualard},
% DOI = {10.1007/978-3-319-01721-1},
%URL = {http://dx.doi.org/10.1007/978-3-319-01721-1},
}
@article{schalk1994algebras,
title={Algebras for generalized power constructions},
author={Schalk, Andrea},
journal={Bulletin of the European Association for Theoretical Computer Science},
volume={53},
pages={491--491},
year={1994},
}
@misc{Schultz:2015a,
% Archiveprefix = {arXiv},
Author = {Schultz, Patrick},
Title = {Regular and exact (virtual) double categories},
Date = {2015},
Eprint = {arXiv: 1505.00712},
}
@misc{Schultz.Wisnesky:2015a,
Author = {Patrick Schultz and Ryan Wisnesky},
Title = {Algebraic Data Integration},
Year = {2015},
Eprint = {arXiv:1503.03571},
}
@book{schultz2019temporal,
Author = {Schultz, Patrick and Spivak, David I.},
Title = {Temporal Type Theory: A topos-theoretic approach to systems and behavior},
Year = {2019},
Publisher = {Springer, Birkh\"auser}
}
@article{Schultz.Spivak.Vasilakopoulou.Wisnesky:2017a,
AUTHOR = {Schultz, Patrick and Spivak, David I. and Vasilakopoulou, Christina and Wisnesky, Ryan},
TITLE = {Algebraic Databases},
% JOURNAL = {Theory Appl. Categ.},
JOURNAL = {Theory and Applications of Categories},
% FJOURNAL = {Theory and Applications of Categories},
VOLUME = {32},
YEAR = {2017},
PAGES = {Paper No. 16, 547--619},
}
@book{Scott:1970a,
title={Outline of a mathematical theory of computation},
author={Scott, Dana},
year={1970},
publisher={Oxford University Computing Laboratory, Programming Research Group Oxford, UK}
}
@inproceedings{Selinger:1997a,
title={First-order axioms for asynchrony},
author={Selinger, Peter},
booktitle={International Conference on Concurrency Theory},
pages={376--390},
year={1997},
organization={Springer}
}
@incollection{selinger2010survey,
title={A survey of graphical languages for monoidal categories},
author={Selinger, Peter},
booktitle={New structures for physics},
pages={289--355},
year={2010},
publisher={Springer}
}
@misc{shapiro2021familial,
url = {https://arxiv.org/abs/2111.14796},
author = {Shapiro, Brandon},
title = {Familial Monads as Higher Category Theories},
publisher = {arXiv},
year = {2021},
}
@article{shulman2008framed,
Author = {Shulman, Michael},
Date = {2008},
% Eprint = {0706.1286},
% Eprintclass = {math.CT},
% Eprinttype = {arXiv},
Journaltitle = {Theory and Applications of Categories},
Pages = {Paper No. 18, 650-738},
Title = {Framed bicategories and monoidal fibrations},
Volume = {20}
}
@misc{Shulman:2008b,
Author = {Michael Shulman},
Title = {Set theory for category theory},
Date = {2008},
Eprint = {arXiv: 0810.1279},
% Primaryclass = {math.CT},
}
@misc{Shulman:2010a,
Author = {Shulman, Michael},
Title = {Constructing symmetric monoidal bicategories},
Date = {2010},
Eprint = {arXiv: 1004.0993},
}
@article {Shulman:2012a,
AUTHOR = {Shulman, Michael},
TITLE = {Exact completions and small sheaves},
% JOURNAL = {Theory Appl. Categ.},
% FJOURNAL = {Theory and Applications of Categories},
JOURNAL = {Theory and Applications of Categories},
VOLUME = {27},
YEAR = {2012},
PAGES = {97--173},
%ISSN = {1201-561X},
MRCLASS = {18A35},
MRNUMBER = {2972973},
MRREVIEWER = {J\v{\i}r{\'{\i}} Rosick{\'y}},
}
@book{Simon:1965a,
title={Administrative behavior},
author={Simon, Herbert Alexander},
volume={4},
year={1965},
publisher={Cambridge Univ Press}
}
@book{Simon:1991a,
title={The architecture of complexity},
author={Simon, Herbert A},
year={1991},
publisher={Springer}
}
@online{Sobocinski:blog,
Label = {Sob},
Title = {Graphical Linear Algebra},
Urldate = {2018-03-11},
URL = {https://graphicallinearalgebra.net/}
}
@misc{speranzon2018abstraction,
Author = {Alberto Speranzon and David I. Spivak and Srivatsan Varadarajan},
Title = {Abstraction, Composition and Contracts: A Sheaf Theoretic Approach},
Year = {2018},
Eprint = {arXiv:1802.03080},
}
@article{Spivak.Kent:2012a,
title={Ologs: a categorical framework for knowledge representation},
author={Spivak, David I and Kent, Robert E},
journal={PLoS One},
volume={7},
number={1},
year={2012},
publisher={Public Library of Science}
}
@misc{Spivak:2013b,
author = {David I. Spivak},
title = {The operad of wiring diagrams: formalizing a graphical language for
databases, recursion, and plug-and-play circuits},
volume = {abs/1305.0297},
year = {2013},
eprint = {arXiv: 1305.0297},
}
@book{Spivak:2014a,
title={Category theory for the sciences},
author={Spivak, David I},
year={2014},
publisher={MIT Press}
}
@article {spivak2012functorial,
AUTHOR = {Spivak, David I.},
TITLE = {Functorial data migration},
% JOURNAL = {Inform. and Comput.},
% FJOURNAL = {Information and Computation},
JOURNAL = {Information and Computation},
VOLUME = {217},
YEAR = {2012},
PAGES = {31--51},
%ISSN = {0890-5401},
MRCLASS = {68P15 (18A40)},
MRNUMBER = {2943977},
% DOI = {10.1016/j.ic.2012.05.001},
% URL = {https://doi.org/10.1016/j.ic.2012.05.001},
}
@incollection{spivak2017categories,
author = "Spivak, David I.",
title = "Categories as mathematical models",
editor = "Elaine Landry",
booktitle = "Categories for the Working Philosopher",
publisher = "Oxford University Press",
year = 2017,
pages = "381--401",
chapter = 16,
}
@article {Spivak:2014c,
AUTHOR = {Spivak, David I.},
TITLE = {Database queries and constraints via lifting problems},
% JOURNAL = {Math. Structures Comput. Sci.},
% FJOURNAL = {Mathematical Structures in Computer Science},
JOURNAL = {Mathematical Structures in Computer Science},
VOLUME = {24},
YEAR = {2014},
NUMBER = {6},
PAGES = {e240602, 55},
%ISSN = {0960-1295},
MRCLASS = {68P15 (18C99)},
MRNUMBER = {3272789},
% DOI = {10.1017/S0960129513000479},
% URL = {http://dx.doi.org/10.1017/S0960129513000479},
}
@inproceedings{Spivak.Wisnesky:2015a,
author = {Spivak, David I. and Wisnesky, Ryan},
title = {Relational Foundations for Functorial Data Migration},
booktitle = {Proceedings of the 15th Symposium on Database Programming Languages},
series = {DBPL},
year = {2015},
%ISBN = = {978-1-4503-3902-5},
location = {Pittsburgh, PA},
pages = {21-28},
%doi = {10.1145/2815072.2815075},
publisher = {ACM},
}
@misc{Spivak:2015a,
title={The steady states of coupled dynamical systems compose according to matrix arithmetic},
author={Spivak, David I.},
eprint={arXiv:1512.00802},
year={2015}
}
@article{spivak2017nesting,
title={Nesting of dynamical systems and mode-dependent networks},
author={Spivak, David I and Tan, Joshua},
journal={Journal of Complex Networks},
volume={5},
number={3},
pages={389--408},
year={2017},
publisher={Oxford University Press}
}
@misc{Spivak.Dobson.Kumari.Wu:2016a,
Author = {David I. Spivak and Magdalen R. C. Dobson and Sapna Kumari and Lawrence Wu},
Title = {Pixel Arrays: A fast and elementary method for solving nonlinear systems},
Year = {2016},
Eprint = {arXiv:1609.00061},
}
@article{Spivak.Schultz.Rupel:2016a,
author = {Spivak, David I. and Schultz, Patrick and Rupel, Dylan},
title = {String diagrams for traced and compact categories are oriented 1-cobordisms},
year = {2016},
journal = {Journal of Pure and Applied Algebra},
% archivePrefix = {arXiv},
% eprint = {1508.01069},
}
@article{schultz2016dynamical,
title={Dynamical systems and sheaves},
author={Schultz, Patrick and Spivak, David I and Vasilakopoulou, Christina},
journal={Applied Categorical Structures},
pages={1--57},
year={2016},
publisher={Springer}
}
@misc{spivak2019generalized,
Author = {David I. Spivak},
Title = {Generalized Lens Categories via functors $\mathcal{C}^{\mathrm op}\to\mathsf{Cat}$},
Year = {2019},
Eprint = {arXiv:1908.02202},
}
@misc{spivak2020dirichlet,
Author = {David I. Spivak and David Jaz Myers},
Title = {Dirichlet Polynomials form a Topos},
Year = {2020},
Eprint = {arXiv:2003.04827},
}
@misc{spivak2022polynomial,
title={Polynomial functors and Shannon entropy},
author={David I. Spivak},
year={2022},
eprint={2201.12878},
archivePrefix={arXiv},
primaryClass={math.CT}
}
@misc{spivak2023functorial,
title={Functorial aggregation},
author={David I. Spivak},
year={2023},
eprint={2111.10968},
archivePrefix={arXiv},
primaryClass={math.CT}
}
@article{Steenrod:1967,
author = {Steenrod, N. E.},
%doi = {10.1307/mmj/1028999711},
fjournal = {The Michigan Mathematical Journal},
journal = {Michigan Math. J.},
month = {05},
number = {2},
pages = {133--152},
publisher = {University of Michigan, Department of Mathematics},
title = {A convenient category of topological spaces.},
url = {http://dx.doi.org/10.1307/mmj/1028999711},
volume = {14},
year = {1967}
}
@article{Stewart.Parker:2007a,
title={Periodic dynamics of coupled cell networks I: rigid patterns of synchrony and phase relations},
author={Stewart, Ian and Parker, Martyn},
journal={Dynamical Systems},
volume={22},
number={4},
pages={389--450},
year={2007},
publisher={Taylor \& Francis}
}
@article{Stewart.Golubitsky.Pivato:2003a,
Author = {I. Stewart and M. Golubitsky and M. Pivato},
Title = {Symmetry groupoids and patterns of synchrony in coupled cell networks},
Journal = {SIAM J. Appl. Dynam. Sys.},
Volume = {2},
Year = {2003},
Page = {Paper No. 4, 609 -- 646}
}
@article{Street:1972a,
Author = {Street, Ross},
% Doi = {10.1016/0022-4049(72)90019-9},
Journaltitle = {Journal of pure and applied algebra},
% Number = {2},
Pages = {Paper No. 2, 149--168},
Title = {The formal theory of monads},
Volume = {2},
Year = {1972}
}
@article {Street:1980a,
Author = {Street, Ross},
Title = {Fibrations in bicategories},
Shortjournal = {Cahiers Topologie G{\'e}om. Diff{\'e}rentielle},
Journaltitle = {Cahiers de Topologie et G{\'e}om{\'e}trie Diff{\'e}rentielle},
Volume = {21},
Date = {1980},
% Number = {2},
Pages = {Paper No. 2, 111--160},
% %Issn = {0008-0004},
}
@article{Street:1981a,
Date = {1981},
% %Issn = {0370-7377},
Journal = {Rendiconti del Seminario Matematico e Fisico di Milano},
Volume = {51},
% Number = {1},
% Doi = {10.1007/BF02924823},
Title = {Cauchy characterization of enriched categories},
Publisher = {Birkhäuser-Verlag},
Author = {Street, Ross},
Pages = {Paper No. 1, 217--233},
}
@article {Street.Walters:1973a,
AUTHOR = {Street, Ross and Walters, R. F. C.},
TITLE = {The comprehensive factorization of a functor},
% JOURNAL = {Bull. Amer. Math. Soc.},
JOURNAL = {Bulletin of the American Mathematical Society},
% FJOURNAL = {Bulletin of the American Mathematical Society},
VOLUME = {79},
YEAR = {1973},
PAGES = {936--941},
%ISSN = {0002-9904},
MRCLASS = {18A20 (18D99)},
MRNUMBER = {0346027},
MRREVIEWER = {A. Pultr},
% DOI = {10.1090/S0002-9904-1973-13268-9},
URL = {http://dx.doi.org/10.1090/S0002-9904-1973-13268-9},
}
@incollection {Streicher:2005a,
AUTHOR = {Streicher, Thomas},
TITLE = {Universes in toposes},
BOOKTITLE = {From sets and types to topology and analysis},
SERIES = {Oxford Logic Guides},
VOLUME = {48},
PAGES = {78--90},
PUBLISHER = {Oxford Univ. Press, Oxford},
YEAR = {2005},
MRCLASS = {03G30 (03F50 03F65 18B25)},
MRNUMBER = {2188637},
% DOI = {10.1093/acprof:oso/9780198566519.003.0005},
URL = {http://dx.doi.org/10.1093/acprof:oso/9780198566519.003.0005},
}
@book {Sturmfels:2002a,
AUTHOR = {Sturmfels, Bernd},
TITLE = {Solving systems of polynomial equations},
SERIES = {CBMS Regional Conference Series in Mathematics},
VOLUME = {97},
PUBLISHER = {Published for the Conference Board of the Mathematical
Sciences, Washington, DC; by the American Mathematical
Society, Providence, RI},
YEAR = {2002},
PAGES = {viii+152},
%ISBN = = {0-8218-3251-4},
MRCLASS = {13P10 (14P99 14Q15 62-09 65H10)},
MRNUMBER = {1925796},
MRREVIEWER = {Joseph Gubeladze},
% DOI = {10.1090/cbms/097},
URL = {http://dx.doi.org/10.1090/cbms/097},
}
@article{Subrahmanian.Lee.Granger:2015a,
title={Managing and supporting product life cycle through engineering change management for a complex product},
author={Subrahmanian, Eswaran and Lee, Christopher and Granger, Helen and others},
journal={Research in Engineering Design},
volume={26},
number={3},
pages={189--217},
year={2015},
publisher={Springer}
}
%T
@book{Tu:2011a,
Author = {Tu, Loring W.},
Title = {An Introduction to Manifolds},
Date = {2011},
%Isbn = = {9781441973993},
Edition = {2nd},
Publisher = {Springer-Verlag New York},
}
@article{Tuijn.Gyssens:1996a,
title={CGOOD, a categorical graph-oriented object data model},
author={Tuijn, Chris and Gyssens, Marc},
journal={Theoretical Computer Science},
volume={160},
number={1-2},
pages={217--239},
year={1996},
publisher={Elsevier}
}
%U
%V
@article{Vagner.Spivak.Lerman:2015a,
AUTHOR = {Vagner, Dmitry and Spivak, David I. and Lerman, Eugene},
TITLE = {Algebras of open dynamical systems on the operad of wiring
diagrams},
% JOURNAL = {Theory Appl. Categ.},
JOURNAL = {Theory and Applications of Categories},
% FJOURNAL = {Theory and Applications of Categories},
VOLUME = {30},
YEAR = {2015},
PAGES = {Paper No. 51, 1793--1822},
%ISSN = {1201-561X},
MRCLASS = {93A30 (18D50 37A99)},
MRNUMBER = {3431301},
}
@incollection{vickers1993geometric,
title={Geometric logic in computer science},
author={Vickers, Steve},
booktitle={Theory and Formal Methods 1993},
pages={37--54},
year={1993},
publisher={Springer}
}
@misc{vigna2003guided,
Author = {Sebastiano Vigna},
Title = {A Guided Tour in the Topos of Graphs},
Year = {2003},
Eprint = {arXiv:math/0306394},
}
@article{Voevodsky:2013a,
title={Homotopy type theory: Univalent foundations of mathematics},
author={Voevodsky, Vladimir and others},
journal={Institute for Advanced Study (Princeton), The Univalent Foundations Program},
year={2013}
}
@article {Vickers:1993a,
AUTHOR = {Vickers, Steven},
TITLE = {Information systems for continuous posets},
% JOURNAL = {Theoret. Comput. Sci.},
% FJOURNAL = {Theoretical Computer Science},
JOURNAL = {Theoretical Computer Science},
VOLUME = {114},
YEAR = {1993},
NUMBER = {2},
PAGES = {201--229},
%ISSN = {0304-3975},
MRCLASS = {68Q55 (06B35)},
MRNUMBER = {1228858},
MRREVIEWER = {Philip J. Scott},
% DOI = {10.1016/0304-3975(93)90072-2},
URL = {http://dx.doi.org/10.1016/0304-3975(93)90072-2},
}
%W
@book {Walters:1992,
author = {R. F. C. Walters},
title = {Categories and Computer Science},
year = {1992},
publisher = {Cambridge University Press},
}
@article{weber2007theory,
Date = {2007},
Journaltitle = {Theory and Applications of Categories},
Volume = {18},
% Number = {22},
Pages = {Paper No. 22, 665--732},
Author = {Weber, Mark},
Title = {Familial 2-Functors and Parametric Right Adjoints},
}
@inproceedings{Wiederhold:1994a,
title={Interoperation, mediation and ontologies},
author={Wiederhold, Gio},
booktitle={FGCS Workshop on Heterogeneous Cooperative Knowledge-Bases},
year={1994},
organization={Citeseer}
}
@misc{wiki:Symmetric-monoidal-category,
author = "Wikipedia, Contributors To",
title = "Symmetric monoidal category --- Wikipedia{,} The Free Encyclopedia",
year = "2018",
url = "\url{https://en.wikipedia.org/wiki/Symmetric_monoidal_category}",
note = "[Online; accessed 22-February-2018]"
}
@article{Willems:2007a,
title={The behavioral approach to open and interconnected systems},
author={Willems, Jan C},
journal={IEEE Control Systems},
volume={27},
number={6},
pages={46--99},
year={2007},
publisher={IEEE}
}
@book{Willems.Polderman:2013a,
title={Introduction to mathematical systems theory: a behavioral approach},
author={Willems, Jan C and Polderman, Jan W},
volume={26},
year={2013},
publisher={Springer Science \& Business Media}
}
@Inbook{Winskel:1987a,
author={Winskel, Glynn},
editor={Brauer, W. and Reisig, W. and Rozenberg, G.},
title={Event structures},
bookTitle={Petri Nets: Applications and Relationships to Other
Models of Concurrency: Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.--19. September 1986},
year={1987},
publisher={Springer Berlin Heidelberg},
address={Berlin, Heidelberg},
pages={325--392},
%ISBN =={978-3-540-47926-0},
%doi={10.1007/3-540-17906-2_31},
url={http://dx.doi.org/10.1007/3-540-17906-2_31"}
}
@report{Wisnesky.Spivak.Schultz.Subrahmanian:2015a,
Author = {Wisnesky, Ryan and Spivak, David I. and Schultz, Patrick and Subrahmanian, Eswaran},
Title = {Functorial Data Migration: From Theory to Practice},
Date = {2015},
Type = {Report},
Number = {G2015-1701},
Institution = {National Institute of Standards and Technology},
Eprint = {1502.05947v2},
Eprinttype = {arXiv},
Eprintcalss = {cs.DB},
}
@article{Wood:1982a,
Author = {Wood, R. J.},
% %Issn = {0008-0004},
% Number = {3},
Journaltitle = {Cahiers de Topologie et G\'{e}om\'{e}trie Diff\'{e}rentielle Cat\'{e}goriques},
Pages = {Paper No. 3, 279--290},
Title = {Abstract pro arrows I},
Volume = {23},
Date = {1982}
}
@article{Wood:1985a,
Author = {Wood, R. J.},
Date = {1985},
% Number = {2},
Journaltitle = {Cahiers de Topologie et G{\'e}om{\'e}trie Diff{\'e}rentielle Cat{\'e}goriques},
Pages = {Paper No. 2, 135--168},
Title = {Proarrows II},
Volume = {26},
Date = {1985}
}
%X
%Y
@misc{Yau:2015a,
Author = {Donald Yau},
Title = {Operads of Wiring Diagrams},
Year = {2015},
Eprint = {arXiv:1512.01602},
}
@article{Yetter:1990a,
title={Quantales and (noncommutative) linear logic},
author={Yetter, David N},
journal={The Journal of Symbolic Logic},
volume={55},
number={1},
pages={41--64},
year={1990},
publisher={Cambridge University Press}
}
%Z
@phdthesis{zanasi:thesis,
TITLE = {{Interacting Hopf Algebras- the Theory of Linear Systems}},
AUTHOR = {Zanasi, Fabio},
URL = {https://tel.archives-ouvertes.fr/tel-01218015},
NUMBER = {2015ENSL1020},
SCHOOL = {{Ecole normale sup{\'e}rieure de lyon - ENS LYON}},
YEAR = {2015},
MONTH = Oct,
KEYWORDS = {Frobenius algebra ; Hopf algebra ; Distributive law ; Control theory ; Category theory ; Semantics ; Linear algebra ; Signal flow graph ; Graphe de flots de signaux ; Alg{\`e}bre lin{\'e}aire ; Alg{\`e}bre de Frobenius ; Alg{\`e}bre de Hopf ; Loi distributive ; PROP ; S{\'e}mantique ; Th{\'e}orie des cat{\'e}gories ; Th{\'e}orie du contr{\^o}le},
TYPE = {Theses},
%PDF={https://tel.archives-ouvertes.fr/tel-01218015/file/ZANASI_Fabio_2015ENSL1020_These.pdf},
HAL_ID = {tel-01218015},
HAL_VERSION = {v1},
}
@inproceedings{zappa1940sulla,
title={Sulla costruzione dei gruppi prodotto di due dati sottogruppi permutabili tra loro},
author={Zappa, Guido},
booktitle={Atti Secondo Congresso Un. Mat. Ital., Bologna},
pages={119--125},
year={1940}
}
%%%%%%%%%%%%%
Reference in New Issue View Git Blame Copy Permalink