# Prof Timothy Porter

### Publications

#### 2008

- Ordinal subdivision and special pasting in quasicategories.Ehlers, PJ & Porter, T 2008, 'Ordinal subdivision and special pasting in quasicategories.'
*Advances in Mathematics*, vol 217, no. 2, pp. 489-518. DOI: 10.1016/j.aim.2007.05.023 - Formal homotopy quantum field theories, I: Formal maps and crossed $\mathcal{C}$-algebrasPorter, T & Turaev, V 2008, 'Formal homotopy quantum field theories, I: Formal maps and crossed $\mathcal{C}$-algebras'
*Journal of Homotopy and Related Structures*, vol 3, no. 1, pp. 113-159.

#### 2007

- Formal Homotopy Quantum Field Theories II: Simplicial Formal Maps.Porter, T, Davydov, A (ed.), Batanin, M (ed.), Johnson, M (ed.), Lack, S (ed.) & Neeman, A (ed.) 2007, Formal Homotopy Quantum Field Theories II: Simplicial Formal Maps. in
*Categories in Algebra: Geometry and Mathematical Physics.*2007 edn, American Mathematical Society, pp. 375-396. - On Yetter's invariant and an extension of the Dijkgraaf-Witten invariant to categorical groupsMartins, JF & Porter, T 2007, 'On Yetter's invariant and an extension of the Dijkgraaf-Witten invariant to categorical groups'
*Theory and Applications of Categories*, vol 18, pp. 118-150.

#### 2006

- A Spatial View of Information.Gratus, J & Porter, T 2006, 'A Spatial View of Information.'
*Theoretical Computer Science*, vol 365, no. 3, pp. 206-215. DOI: 10.1016/j.tcs.2006.07.051 - Category theory: an abstract setting for analogy and comparison.Porter, T, Brown, R & Sica, G (ed.) 2006, Category theory: an abstract setting for analogy and comparison. in
*What Is Category Theory?.*2006 edn, Unknown, pp. 257-274.

#### 2005

- N-Fold Cech derived functors and generalised Hopf type formulas.Donadze, G, Inassaridze, N & Porter, T 2005, 'N-Fold Cech derived functors and generalised Hopf type formulas.'
*K-Theory*, vol 35, no. 3-4, pp. 341-373. DOI: 10.1007/s10977-005-3115-5 - A homotopy double groupoid of a Hausdorff space II: a van Kampen theorem.Brown, R, Kamps, KP & Porter, T 2005, 'A homotopy double groupoid of a Hausdorff space II: a van Kampen theorem.'
*Theory and Applications of Categories*, vol 14, pp. 200-220.

#### 2004

- Interpreted systems and Kripke models for multiagent systems from a categorical perspectivePorter, T 2004, 'Interpreted systems and Kripke models for multiagent systems from a categorical perspective'
*Theoretical Computer Science*, vol 323, no. 1-3, pp. 235 - 266. DOI: 10.1016/j.tcs.2004.04.005 - Categorical language and hierarchical models for cell systems.Porter, T, Brown, R, Paton, R, Bolouri, H (ed.) & Parish, JH (ed.) 2004, Categorical language and hierarchical models for cell systems. in
*Computation in Cells and Tissues: Perspectives and Tools of Thought.*2004 edn, Springer, pp. 209-304.

#### 2003

- Geometric Aspects of Multiagent Systems.Porter, T 2003, 'Geometric Aspects of Multiagent Systems.'
*Electronic Notes in Theoretical Computer Science*, vol 81, pp. 73-98. DOI: 10.1016/S1571-0661(04)80837-5 - The intuitions of higher dimensional algebra for the study of structured space.Brown, R & Porter, T 2003, 'The intuitions of higher dimensional algebra for the study of structured space.'
*Revue de Synthese*, vol 5, pp. 173-203.

#### 2002

- The homotopy theory of inverse semigroups.Lawson, MV, Matthews, J & Porter, T 2002, 'The homotopy theory of inverse semigroups.'
*International Journal of Algebra and Computation*, vol 12, no. 6, pp. 755-790. - 2-groupoid enrichments in homotopy theory and algebra.Kamps, KH & Porter, T 2002, '2-groupoid enrichments in homotopy theory and algebra.'
*K-Theory*, vol 25, no. 4, pp. 373-409. - A homotopy double groupoid of a Hausdorff space.Brown, R, Hardie, KA, Kamps, KP & Porter, T 2002, 'A homotopy double groupoid of a Hausdorff space.'
*Theory and Applications of Categories*, vol 10, no. 2, pp. 71-93. - Crossed complexes, and free crossed resolutions for amalgamated sums and HNN-extensions of groupsBrown, R, Moore, EJ, Porter, T & Wensley, CD 2002, 'Crossed complexes, and free crossed resolutions for amalgamated sums and HNN-extensions of groups'
*Georgian Mathematical Journal*, vol 9, no. 4, pp. 623-644. - Mathematical Structure: Knowledge, Representation and Interpretation.Brown, T, Porter, T, Meyer, W (ed.) & Paton, R (ed.) 2002, 'Mathematical Structure: Knowledge, Representation and Interpretation.'
*Theoria et Historia Scientiarum, the International Journal of Interdisciplinary Studies, special issue on `Knowledge: representations and interpretations'*, vol 6, pp. 39-54.

#### 2001

- Spaces of maps into classifying spaces for equivariant crossed complexes, II: The general topological group caseBrown, R, Golasinski, M, Porter, T & Tonks, A 2001, 'Spaces of maps into classifying spaces for equivariant crossed complexes, II: The general topological group case'
*K-Theory*, vol 23, no. 2, pp. 129-155. - Iterated Peiffer pairings in the Moore complex of a simplicial group.Mutlu, A & Porter, T 2001, 'Iterated Peiffer pairings in the Moore complex of a simplicial group.'
*Applied Categorical Structures*, vol 9, no. 2, pp. 111-130.