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

Research Outputs 1994 2017

Filter
Article
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
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 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

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

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