Peter T. Johnstone

Publication Activity (10 Years)

Years Active: 1993-2013
Publications (10 Years): 0

Top Topics

Automatically Classify

Semi Supervised

Top Venues

Logica Universalis

Publications

Peter T. Johnstone
What do Freyd's Toposes Classify? Logica Universalis 7 (3) (2013)
George Janelidze, Martin Hyland, Michael Johnson, Peter T. Johnstone, Stephen Lack, Ross Street, Walter Tholen, Richard J. Wood
Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell Kelly. Appl. Categorical Struct. 19 (1) (2011)
Peter T. Johnstone, Stephen Lack, Pawel Sobocinski
Quasitoposes, Quasiadhesive Categories and Artin Glueing. CALCO (2007)
Peter T. Johnstone
Complemented sublocales and open maps. Ann. Pure Appl. Log. 137 (1-3) (2006)
Aurelio Carboni, Peter T. Johnstone
Corrigenda for 'Connected limits, familial representability and Artin glueing'. Math. Struct. Comput. Sci. 14 (1) (2004)
Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell
On the structure of categories of coalgebras. Theor. Comput. Sci. 260 (1-2) (2001)
Peter T. Johnstone
An "Unsitely" Result on Atomic Morphisms. Appl. Categorical Struct. 8 (1-2) (2000)
Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell
An Axiomatics for Categories of Transition Systems as Coalgebras. LICS (1998)
Carsten Butz, Peter T. Johnstone
Classifying Toposes for First-Order Theories. Ann. Pure Appl. Log. 91 (1) (1998)
Jirí Adámek, Peter T. Johnstone, Johann A. Makowsky, Jirí Rosický
Finitary Sketches. J. Symb. Log. 62 (3) (1997)
Aurelio Carboni, Peter T. Johnstone
Connected Limits, Familial Representability and Artin Glueing. Math. Struct. Comput. Sci. 5 (4) (1995)
Peter T. Johnstone
Variations on the Bagdomain Theme. Theor. Comput. Sci. 136 (1) (1994)
Peter T. Johnstone
Fibrations and partial products in a 2-category. Appl. Categorical Struct. 1 (2) (1993)