Peter T. Johnstone

14 papers A* 1B 1Journal 11
YearRankTypeTitle / Venue / Authors
2013 J jnl
What do Freyd's Toposes Classify?
Logica Universalis
Peter T. Johnstone
2011 J jnl
Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell Kelly.
Appl. Categorical Struct.
George Janelidze, Martin Hyland, Michael Johnson, Peter T. Johnstone, Stephen Lack, Ross Street, Walter Tholen, Richard J. Wood
2007 B conf
Quasitoposes, Quasiadhesive Categories and Artin Glueing.
CALCO
Peter T. Johnstone, Stephen Lack, Pawel Sobocinski
2006 J jnl
Complemented sublocales and open maps.
Ann. Pure Appl. Log.
Peter T. Johnstone
2004 J jnl
Corrigenda for 'Connected limits, familial representability and Artin glueing'.
Math. Struct. Comput. Sci.
Aurelio Carboni, Peter T. Johnstone
2001 J jnl
On the structure of categories of coalgebras.
Theor. Comput. Sci.
Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell
2000 J jnl
An "Unsitely" Result on Atomic Morphisms.
Appl. Categorical Struct.
Peter T. Johnstone
1998 A* conf
An Axiomatics for Categories of Transition Systems as Coalgebras.
LICS
Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell
1998 J jnl
Classifying Toposes for First-Order Theories.
Ann. Pure Appl. Log.
Carsten Butz, Peter T. Johnstone
1997 J jnl
Finitary Sketches.
J. Symb. Log.
Jirí Adámek, Peter T. Johnstone, Johann A. Makowsky, Jirí Rosický
1995 — ed.
Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings
CTCS
David H. Pitt, David E. Rydeheard, Peter T. Johnstone
1995 J jnl
Connected Limits, Familial Representability and Artin Glueing.
Math. Struct. Comput. Sci.
Aurelio Carboni, Peter T. Johnstone
1994 J jnl
Variations on the Bagdomain Theme.
Theor. Comput. Sci.
Peter T. Johnstone
1993 J jnl
Fibrations and partial products in a 2-category.
Appl. Categorical Struct.
Peter T. Johnstone