• 371 Citations
  • 8 h-Index
1994 …2020

Research output per year

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

Research Outputs

Filter
Article
2020

Infinity category theory from scratch

Riehl, E. & Verity, D., 2020, In : Higher Structures. 4, 1, p. 115-167 53 p.

Research output: Contribution to journalArticle

Open Access
File
2 Downloads (Pure)

Recognizing quasi-categorical limits and colimits in homotopy coherent nerves

Riehl, E. & Verity, D., Aug 2020, In : Applied Categorical Structures. 28, 4, p. 669-716 48 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2018

The comprehension construction

Riehl, E. & Verity, D., 2018, In : Higher Structures. 2, 1, p. 116-190 75 p.

Research output: Contribution to journalArticle

Open Access
File
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

7 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

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

16 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

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

12 Citations (Scopus)
2007

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

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

247 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)