activity
19982023
most citedCategory Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience

28 citations · 59 across the 13 of their papers we have counts for

collaborators

14 papers

math.CT2023

A categorification of Quinn's finite total homotopy TQFT with application to TQFTs and once-extended TQFTs derived from strict omega-groupoids

João Faria Martins, Timothy Porter

We first revisit the construction of Quinn's finite total homotopy TQFT, which depends on the choice of a homotopy finite space, . This constitutes a vast generalis…

math.QA2006★ 2 cited

On Yetter's Invariant and an Extension of the Dijkgraaf-Witten Invariant to Categorical Groups

João Faria Martins, Timothy Porter

We give an interpretation of Yetter's Invariant of manifolds in terms of the homotopy type of the function space , where is a crossed module and is its…

cs.AI2005

A geometry of information, I: Nerves, posets and differential forms

Jonathan Gratus, Timothy Porter

The main theme of this workshop (Dagstuhl seminar 04351) is `Spatial Representation: Continuous vs. Discrete'. Spatial representation has two contrasting but interacting aspects (i…

math.QA2005

Formal Homotopy Quantum Field Theories, II : Simplicial Formal Maps

Timothy Porter

Simplicial formal maps were introduced in the first paper, (math.QA/0512032), of this series as a tool for studying Homotopy Quantum Field Theories with background a general homoto…

math.QA2005★ 13 cited

Formal Homotopy Quantum Field Theories, I: Formal Maps and Crossed C-algebras

Timothy Porter, Vladimir Turaev

Homotopy Quantum Field Theories (HQFTs) were introduced by the second author to extend the ideas and methods of Topological Quantum Field Theories to closed -manifolds endowed w…

math.AT2004★ 3 cited

-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…