Peter T. Johnstone

According to our database, Peter T. Johnstone authored at least 13 papers between 1993 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2013

What do Freyd's Toposes Classify?

Peter T. Johnstone

Logica Universalis, 2013

2011

Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell Kelly.

George Janelidze, Martin Hyland, Michael Johnson, Peter T. Johnstone, Stephen Lack, Ross Street, Walter Tholen, Richard J. Wood

Appl. Categorical Struct., 2011

2007

Quasitoposes, Quasiadhesive Categories and Artin Glueing.

Peter T. Johnstone, Stephen Lack, Pawel Sobocinski

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Complemented sublocales and open maps.

Peter T. Johnstone

Ann. Pure Appl. Log., 2006

2004

Corrigenda for 'Connected limits, familial representability and Artin glueing'.

Aurelio Carboni, Peter T. Johnstone

Math. Struct. Comput. Sci., 2004

2001

On the structure of categories of coalgebras.

Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell

Theor. Comput. Sci., 2001

2000

An "Unsitely" Result on Atomic Morphisms.

Peter T. Johnstone

Appl. Categorical Struct., 2000

1998

Classifying Toposes for First-Order Theories.

Carsten Butz, Peter T. Johnstone

Ann. Pure Appl. Log., 1998

An Axiomatics for Categories of Transition Systems as Coalgebras.

Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1997

Finitary Sketches.

Jirí Adámek, Peter T. Johnstone, Johann A. Makowsky, Jirí Rosický

J. Symb. Log., 1997

1995

Connected Limits, Familial Representability and Artin Glueing.

Aurelio Carboni, Peter T. Johnstone

Math. Struct. Comput. Sci., 1995

1994

Variations on the Bagdomain Theme.

Peter T. Johnstone

Theor. Comput. Sci., 1994

1993

Fibrations and partial products in a 2-category.

Peter T. Johnstone

Appl. Categorical Struct., 1993