• 359 Citations
  • 8 h-Index
1994 …2022

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Outputs

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 journalArticle

6 Citations (Scopus)

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 journalArticle

6 Citations (Scopus)
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 journalArticle

12 Citations (Scopus)

Infinity category theory from scratch

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

Research output: Other contribution

2015
9 Citations (Scopus)

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 journalArticle

12 Citations (Scopus)
2014

The Kiama language processing library

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

Research output: Non-traditional research outputSoftware

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 journalArticle

13 Citations (Scopus)
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 journalArticle

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 journalArticle

4 Citations (Scopus)
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/ReportBook

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 journalArticle

11 Citations (Scopus)
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 proceedingChapter

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 contribution

5 Citations (Scopus)

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 contribution

Open Access
File
2 Citations (Scopus)
1 Downloads (Pure)

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 journalArticle

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 contribution

Open Access
File
7 Downloads (Pure)

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 contribution

5 Citations (Scopus)
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 contribution

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 journalArticle

2 Citations (Scopus)
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 journalArticle

11 Citations (Scopus)
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 journalArticle

3 Citations (Scopus)

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 journalArticle

242 Citations (Scopus)
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 journalArticle

16 Citations (Scopus)