Dominic Verity

Available identifiers

zbMath Open verity.dominicMaRDI QIDQ338224

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2883127	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dominic Verity