# Fingerprint Dive into the research topics where Dominic Verity is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

- Sort by
- Weight
- Alphabetically

### Mathematics

Category Theory

Homotopy Theory

Homotopy

Functor

Bicategory

Colimit

Adjunction

Categorical

Fibration

Monads

Morphisms

Monoidal Category

Torsor

Nerve

Type Theory

Structure Theorem

Peer to Peer

Sheaves

Lemma

Automata

Completeness

Factorization

Axioms

Computer Science

High-dimensional

Infinity

Algebra

Logic

Specification

Enriched Category

Pure mathematics

Simplicial Set

Ring

Algebraic topology

Diagram

Homotopy Type

Quantale

Formal Verification

Type Systems

Software System

Programming Languages

Physics

Generalise

Process Algebra

Multigraph

Internal

Deadlock

Theorem

Dependent

Software Engineering

### Engineering & Materials Science

Testing

Specifications

Software engineering

Visibility

Algebra

Synchronization

Experiments

Topology

Coding errors

Pattern recognition systems

Biometrics

Processing

Computer programming languages

Java programming language

Codes (standards)