3 citations · 6 across the 4 of their papers we have counts for
7 papers
-categories, -groupoids, Segal categories and quasicategories
Timothy Porter
The notes were prepared for a series of talks that I gave in Hagen in late June and early July 2003, and, with some changes, in the University of La Laguña, the Canary Islands, in…
N-Fold Cech Derived Functors and Generalised Hopf Type Formulas
Guram Donadze, Nick Inassaridze, Timothy Porter
In 1988, Brown and Ellis published [3] a generalised Hopf formula for the higher homology of a group. Although substantially correct, their result lacks one necessary condition. We…
Geometric Aspects of Multiagent Systems
Timothy Porter
Recent advances in Multiagent Systems (MAS) and Epistemic Logic within Distributed Systems Theory, have used various combinatorial structures that model both the geometry of the sy…
What `shape' is space-time?
Timothy Porter
Some examples from the mathematics of shape are presented that question some of the almost hidden assumptions behind results on limiting behaviour of finitary approximations to spa…
Free crossed resolutions for graph products of groups
Ronald Brown, Manuel Bullejos, Timothy Porter
The category of crossed complexes gives an algebraic model of the category of -complexes and cellular maps. We explain basic results on crossed complexes which allow the comput…
Freeness conditions for crossed squares and squared complexes
A. Mutlu, T. Porter
Following Ellis, we investigate the notion of totally free crossed squares and related square complexes. It is shown how to interpret the information in a free simplicial group giv…