• 346 Citations
  • 8 h-Index
1994 …2022
If you made any changes in Pure these will be visible here soon.

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.

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)