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

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