Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Peter T. Johnstone
@article{DBLP:journals/lu/Johnstone13, author = {Peter T. Johnstone}, title = {What do Freyd's Toposes Classify?}, journal = {Logica Universalis}, volume = {7}, number = {3}, pages = {335--340}, year = {2013}, url = {https://doi.org/10.1007/s11787-013-0085-x}, doi = {10.1007/S11787-013-0085-X}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lu/Johnstone13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acs/JanelidzeHJJLSTW11, author = {George Janelidze and Martin Hyland and Michael Johnson and Peter T. Johnstone and Stephen Lack and Ross Street and Walter Tholen and Richard J. Wood}, title = {Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell Kelly}, journal = {Appl. Categorical Struct.}, volume = {19}, number = {1}, pages = {1--7}, year = {2011}, url = {https://doi.org/10.1007/s10485-010-9235-y}, doi = {10.1007/S10485-010-9235-Y}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/acs/JanelidzeHJJLSTW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/JohnstoneLS07, author = {Peter T. Johnstone and Stephen Lack and Pawel Sobocinski}, editor = {Till Mossakowski and Ugo Montanari and Magne Haveraaen}, title = {Quasitoposes, Quasiadhesive Categories and Artin Glueing}, booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference, {CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4624}, pages = {312--326}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73859-6\_21}, doi = {10.1007/978-3-540-73859-6\_21}, timestamp = {Tue, 21 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/JohnstoneLS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Johnstone06, author = {Peter T. Johnstone}, title = {Complemented sublocales and open maps}, journal = {Ann. Pure Appl. Log.}, volume = {137}, number = {1-3}, pages = {240--255}, year = {2006}, url = {https://doi.org/10.1016/j.apal.2005.05.030}, doi = {10.1016/J.APAL.2005.05.030}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Johnstone06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/Johnstone04, author = {Aurelio Carboni and Peter T. Johnstone}, title = {Corrigenda for 'Connected limits, familial representability and Artin glueing'}, journal = {Math. Struct. Comput. Sci.}, volume = {14}, number = {1}, pages = {185--187}, year = {2004}, url = {https://doi.org/10.1017/S0960129503004080}, doi = {10.1017/S0960129503004080}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/Johnstone04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/JohnstonePTWW01, author = {Peter T. Johnstone and John Power and Toru Tsujishita and Hiroshi Watanabe and James Worrell}, title = {On the structure of categories of coalgebras}, journal = {Theor. Comput. Sci.}, volume = {260}, number = {1-2}, pages = {87--117}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00124-9}, doi = {10.1016/S0304-3975(00)00124-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/JohnstonePTWW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acs/Johnstone00, author = {Peter T. Johnstone}, title = {An "Unsitely" Result on Atomic Morphisms}, journal = {Appl. Categorical Struct.}, volume = {8}, number = {1-2}, pages = {7--15}, year = {2000}, url = {https://doi.org/10.1023/A:1008640630668}, doi = {10.1023/A:1008640630668}, timestamp = {Tue, 29 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acs/Johnstone00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/ButzJ98, author = {Carsten Butz and Peter T. Johnstone}, title = {Classifying Toposes for First-Order Theories}, journal = {Ann. Pure Appl. Log.}, volume = {91}, number = {1}, pages = {33--58}, year = {1998}, url = {https://doi.org/10.1016/S0168-0072(97)00042-0}, doi = {10.1016/S0168-0072(97)00042-0}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/ButzJ98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/JohnstonePTWW98, author = {Peter T. Johnstone and John Power and Toru Tsujishita and Hiroshi Watanabe and James Worrell}, title = {An Axiomatics for Categories of Transition Systems as Coalgebras}, booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis, Indiana, USA, June 21-24, 1998}, pages = {207--213}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/LICS.1998.705657}, doi = {10.1109/LICS.1998.705657}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/JohnstonePTWW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/AdamekJMR97, author = {Jir{\'{\i}} Ad{\'{a}}mek and Peter T. Johnstone and Johann A. Makowsky and Jir{\'{\i}} Rosick{\'{y}}}, title = {Finitary Sketches}, journal = {J. Symb. Log.}, volume = {62}, number = {3}, pages = {699--707}, year = {1997}, url = {https://doi.org/10.2307/2275568}, doi = {10.2307/2275568}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/AdamekJMR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/CarboniJ95, author = {Aurelio Carboni and Peter T. Johnstone}, title = {Connected Limits, Familial Representability and Artin Glueing}, journal = {Math. Struct. Comput. Sci.}, volume = {5}, number = {4}, pages = {441--459}, year = {1995}, url = {https://doi.org/10.1017/S0960129500001183}, doi = {10.1017/S0960129500001183}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/CarboniJ95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ctcs/1995, editor = {David H. Pitt and David E. Rydeheard and Peter T. Johnstone}, title = {Category Theory and Computer Science, 6th International Conference, {CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {953}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60164-3}, doi = {10.1007/3-540-60164-3}, isbn = {3-540-60164-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ctcs/1995.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Johnstone94, author = {Peter T. Johnstone}, title = {Variations on the Bagdomain Theme}, journal = {Theor. Comput. Sci.}, volume = {136}, number = {1}, pages = {3--20}, year = {1994}, url = {https://doi.org/10.1016/0304-3975(94)00120-8}, doi = {10.1016/0304-3975(94)00120-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Johnstone94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acs/Johnstone93, author = {Peter T. Johnstone}, title = {Fibrations and partial products in a 2-category}, journal = {Appl. Categorical Struct.}, volume = {1}, number = {2}, pages = {141--179}, year = {1993}, url = {https://doi.org/10.1007/BF00880041}, doi = {10.1007/BF00880041}, timestamp = {Tue, 29 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acs/Johnstone93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.