Dominic Verity

Traced monoidal categories

Traced monoidal categories are introduced, a structure theorem is proved for them, and an example is provided where the structure theorem has application.

Kan extensions and the calculus of modules for ∞–categories

Various models of

On the specification of higher dimensional automata

(\infty,1)

Are younger people more difficult to identify or just a peer-to-peer effect

-categories, including quasi-categories, complete Segal spaces, Segal categories, and naturally marked simplicial sets can be considered as the objects of an

Generalized logic and the representation of rings

\infty

Robustness of the New Owner-Tester Approach for Face Identification Experiments

-cosmos. In a generic

Analysis, specification and generation of mobile computer data synchronisation

\infty

Homotopy coherent adjunctions and the formal theory of monads

-cosmos, whose objects we call

Complicial sets characterising the simplicial nerves of strict ω-categories

\infty

The theory and practice of reedy categories

-categories, we introduce modules (also called profunctors or correspondences) between