Abstract homotopy theory in procategories Timothy Porter — 1976 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Coherent prohomotopy theory Timothy Porter — 1978 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Coherent prohomotopical algebra Timothy Porter — 1977 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Une théorie catégorique d'homotopie simple Timothy Porter — 1981 Cahiers de Topologie et Géométrie Différentielle Catégoriques
The derived functors of l i m and protorsion modules Timothy Porter — 1983 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Essential properties of pro-objects in Grothendieck categories Timothy Porter — 1979 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Crossed modules in C a t and a Brown-Spencer theorem for 2 -categories Timothy Porter — 1985 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Stability of algebraic inverse systems, I: Stability, weak stability and the weakly-stable socle Timothy Porter — 1978 Fundamenta Mathematicae
Variations on a theme of homotopy Timothy Porter — 2013 Annales de la faculté des sciences de Toulouse Mathématiques The aim of this article is to bring together various themes from fairly elementary homotopy theory and to examine them, in part, from a historical and philosophical viewpoint.
On Yetter's invariant and an extension of the Dijkgraaf-Witten invariant to categorical groups. Martins, Joao Faria; Porter, Timothy — 2007 Theory and Applications of Categories [electronic only]
A homotopy double groupoid of a Hausdorff space. Brown, Ronald; Hardie, Keith A.; Kamps, Klaus Heiner; Porter, Timothy — 2002 Theory and Applications of Categories [electronic only]
A homotopy double groupoid of a Hausdorff space. II: A van Kampen theorem. Brown, Ronald; Kamps, K. H.; Porter, Timothy — 2005 Theory and Applications of Categories [electronic only]