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

Research Outputs 1994 2017

2017

Fibrations and Yoneda's lemma in an ∞-cosmos

Riehl, E. & Verity, D., 1 Mar 2017, In : Journal of Pure and Applied Algebra. 221, 3, p. 499-564 66 p.

Research output: Contribution to journalArticleResearchpeer-review

Fibration
Lemma
Functor
Enriched Category
Category Theory

Kan extensions and the calculus of modules for ∞–categories

Riehl, E. & Verity, D., 2017, In : Algebraic and geometric topology. 17, 1, p. 189-271 83 p.

Research output: Contribution to journalArticleResearchpeer-review

2016

Homotopy coherent adjunctions and the formal theory of monads

Riehl, E. & Verity, D., 2 Jan 2016, In : Advances in Mathematics. 286, p. 802-888 87 p.

Research output: Contribution to journalArticleResearchpeer-review

Adjunction
Monads
Homotopy
Categorical
Functor

Infinity category theory from scratch

Riehl, E. & Verity, D., 19 Aug 2016, (Unpublished) 53 p.

Research output: Other contributionResearch

Category Theory
Infinity
Colimit
Functor
Adjunction
2015

Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions

Riehl, E. & Verity, D., 2015, In : Homology, Homotopy and Applications. 17, 1, p. 1-33 33 p.

Research output: Contribution to journalArticleResearchpeer-review

Homotopy
Completeness
Functor
Algebra
Colimit

The 2-category theory of quasi-categories

Riehl, E. & Verity, D., 6 Aug 2015, In : Advances in Mathematics. 280, p. 549-642 94 p.

Research output: Contribution to journalArticleResearchpeer-review

Category Theory
Colimit
Model Category
Adjunction
Categorical
2014

The Kiama language processing library

Sloane, A., Roberts, M. & Verity, D., Apr 2014

Research output: Non-traditional research outputSoftwareResearch

Processing
Computer programming languages

The theory and practice of reedy categories

Riehl, E. & Verity, D., 13 Jun 2014, In : Theory and Applications of Categories. 29, p. 256-301 46 p.

Research output: Contribution to journalArticleResearchpeer-review

Colimit
Homotopy Theory
Axioms
Homotopy
2011

Enriched categories, internal categories and change of base

Verity, D., 2011, In : Reprints in theory and applications of categories. 20, p. 1-266 266 p.

Research output: Contribution to journalArticleResearch

2010

The comprehensive factorization and torsors

Street, R. & Verity, D., 2010, In : Theory and Applications of Categories. 23, p. 42-76 35 p.

Research output: Contribution to journalArticleResearchpeer-review

Torsor
Factorization
Functor
Classify
Internal
2008

Complicial sets characterising the simplicial nerves of strict ω-categories

Verity, D., 2008, Providence, RI: American Mathematical Society. (Memoirs of the American Mathematical Society; no. 905)

Research output: Book/ReportBookResearchpeer-review

Nerve
Categorical
John Robert
Equivalence
Parity

Weak complicial sets I. Basic homotopy theory

Verity, D. R. B., 10 Nov 2008, In : Advances in Mathematics. 219, 4, p. 1081-1149 69 p.

Research output: Contribution to journalArticleResearchpeer-review

Homotopy Theory
Simplicial Set
Category Theory
Tensor Product
Join
2007

A pattern enforcing compiler (PEC) for Java: a practical way to formally specify patterns

Lovatt, H., Sloane, A. M. & Verity, D. R., 2007, Design pattern formalization techniques. Taibi, T. (ed.). Hershey, PA; London: IGI Publishing, p. 324-356 33 p.

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Visibility
Testing
Code generation

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

Ho, W. H., Watters, P. & Verity, D., 2007, Computer Analysis of Images and Patterns - 12th International Conference, CAIP 2007, Proceedings. Kropsatsch, W. G., Kampel, M. & Hanbury, A. (eds.). Berlin; Heidelberg: Springer, Springer Nature, Vol. 4673 LNCS. p. 351-359 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4673 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Peer to Peer
Age Groups
Experiments
Person
Face

Robustness of the new owner-tester approach for face identification experiments

Ho, W. H., Watters, P. & Verity, D., 2007, 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR'07. Flynn, P. (ed.). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 1-6 6 p. 4270395

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Open Access
File
Pattern recognition systems
Biometrics
Experiments
Testing

Weak complicial sets II - nerves of complicial Gray-categories

Verity, D., 2007, In : Contemporary mathematics. 431, p. 441-467 27 p.

Research output: Contribution to journalArticleResearchpeer-review

Nerve
Enriched Category
Bicategory
Category Theory
Homotopy Theory
2005

Analysis, specification and generation of mobile computer data synchronisation

Ye, Q., Sloane, A. M. & Verity, D. R., 2005, International Conference on Mobile Business: ICMB 2005: July 11-13, 2005, Crowne Plaza Darling Harbour, Sydney, Australia. Brookes, W., Lawrence, E., Steele, R. & Chang, E. (eds.). Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), p. 499-506 8 p. 1493653

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Open Access
File
Synchronization
Coding errors
Specifications

A Pattern Enforcing Compiler (PEC) for Java: Using the compiler

Lovatt, H. C., Sloane, A. M. & Verity, D. R., 2005, Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling. Hartmann, S. & Stumptner, M. (eds.). Sydney, NSW: Australian Computer Society, Vol. 43. p. 69-78 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Testing
Java programming language
Codes (standards)
2003

Oriented combinatorial topology and concurrency

Johnson, M. & Verity, D., 2003, Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency Theory. Cousot, P., Fajstrup, L., Goubault, E., Herlihy, M., Kurtz, A., Raussen, M. & Sassone, V. (eds.). Denmark: BRICS: Basic Research in Computer Science, Vol. NS-03-01. p. 51-54 4 p. (BRICS Notes Series; vol. 03, no. 1).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Topology
Software engineering
2002

On the specification of higher dimensional automata

Buckland, R., Johnson, M. & Verity, D., Nov 2002, In : Electronic Notes in Theoretical Computer Science. 68, 1, p. 3-13 11 p.

Research output: Contribution to journalArticleResearchpeer-review

Algebra
Automata
Software engineering
High-dimensional
Specification
1998

A 2-categorical approach to change of base and geometric morphisms II

Carboni, A., Kelly, G. M., Verity, D. & Wood, R. J., 1998, In : Theory and Applications of Categories. 4, p. 82-136 55 p.

Research output: Contribution to journalArticleResearchpeer-review

Morphisms
Categorical
Functor
Adjunction
Monoidal Category
1996

Generalized logic and the representation of rings

Ambler, S. & Verity, D., 1996, In : Applied Categorical Structures. 4, 2-3, p. 283-296 14 p.

Research output: Contribution to journalArticleResearchpeer-review

Sheaves
Logic
Ring
Quantale
Enriched Category

Traced monoidal categories

Joyal, A., Street, R. & Verity, D., 1996, In : Mathematical Proceedings of the Cambridge Philosophical Society. 119, 3, p. 447-468 22 p.

Research output: Contribution to journalArticleResearchpeer-review

Monoidal Category
Structure Theorem
1994

Modulated bicategories

Carboni, A., Johnson, S., Street, R. & Verity, D., 8 Jul 1994, In : Journal of Pure and Applied Algebra. 94, 3, p. 229-282 54 p.

Research output: Contribution to journalArticleResearchpeer-review

Bicategory
Fibration
Monic
Converse
Axioms