Dominic Verity

Available identifiers

zbMath Open verity.dominicMaRDI QIDQ338224

List of research outcomes

Publication	Date of Publication	Type
Cartesian exponentiation and monadicity	2024-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q6198045	2024-02-20	Paper
Elements of ∞-Category Theory	2021-09-27	Paper
Cartesian exponentiation and monadicity	2021-01-24	Paper
Recognizing quasi-categorical limits and colimits in homotopy coherent nerves	2020-09-10	Paper
On the construction of limits and colimits in $\infty$-categories	2020-08-07	Paper
Infinity category theory from scratch	2020-02-24	Paper
The comprehension construction	2019-03-19	Paper
Kan extensions and the calculus of modules for \(\infty\)-categories	2017-02-03	Paper
Fibrations and Yoneda's lemma in an \(\infty\)-cosmos	2016-11-04	Paper
Homotopy coherent adjunctions and the formal theory of monads	2015-11-09	Paper
Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions	2015-07-27	Paper
The 2-category theory of quasi-categories	2015-05-29	Paper
The theory and practice of Reedy categories	2014-08-25	Paper
On the specification of higher dimensional automata	2013-07-24	Paper
Enriched categories, internal categories and change of base	2012-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q3552032	2010-04-20	Paper
Complicial sets characterising the simplicial nerves of strict 𝜔-categories	2008-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q5431526	2007-12-11	Paper
Weak complicial sets, a simplicial weak omega-category theory. Part II: nerves of complicial Gray-categories	2006-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4397218	1998-07-05	Paper
Generalized logic and the representation of rings	1996-11-12	Paper
Traced monoidal categories	1996-09-03	Paper

Research outcomes over time

This page was built for person: Dominic Verity