Macquarie University, Sydney Macquarie University ResearchOnline

Showing items 1 - 14 of 14.

Add to Quick Collection   All 14 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort:
 Add All Items to Quick Collection
Date: 2017
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/1250645
Description: We use the terms ∞-categories and ∞-functors to mean the objects and morphisms in an ∞-cosmos : a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of fibrant ... More
Reviewed: Reviewed
Date: 2017
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/1251249
Description: Various models of (∞,1)-categories, including quasi-categories, complete Segal spaces, Segal categories, and naturally marked simplicial sets can be considered as the objects of an ∞-cosmos. In a gene ... More
Reviewed: Reviewed
Date: 2016
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/1195183
Description: In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterise its n-arrows using a graphical calculus that we develop here. The hom-sp ... More
Reviewed: Reviewed
Date: 2015
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/352069
Description: Consider a diagram of quasi-categories that admit and functors that preserve limits or colimits of a fixed shape. We show that any weighted limit whose weight is a projective cofibrant simplicial func ... More
Reviewed: Reviewed
Date: 2015
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/352048
Description: In this paper we re-develop the foundations of the category theory of quasi-categories (also called ∞-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi-categories ad ... More
Reviewed: Reviewed
Date: 2014
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/327610
Description: The goal of this paper is to demystify the role played by the Reedy category axioms in homotopy theory. With no assumed prerequisites beyond a healthy appetite for category theoretic arguments, we pre ... More
Reviewed: Reviewed
Authors: Verity, Dominic
Date: 2011
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/169993
Description: Originally published as: Ph.D. thesis, Cambridge University, 1992.
Date: 2010
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/90348
Description: This is an expanded, revised and corrected version of the first author's 1981 preprint. The discussion of one-dimensional cohomology H¹ in a fairly general category ℇ involves passing to the 2-categor ... More
Reviewed: Reviewed
Authors: Verity, Dominic
Date: 2008
Language: eng
Resource Type: book
Identifier: http://hdl.handle.net/1959.14/30535
Description: The primary purpose of this work is to characterise strict ω-categories as simplicial sets with structure. The author proves the Street-Roberts conjecture in the form formulated by Ross Street in his ... More
Date: 2007
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/346201
Description: Recent investigations into the effect of age on face identification concluded that it was more difficult to identify younger people than older ones. The identification rates of the different age group ... More
Reviewed: Reviewed
Date: 2007
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/25873
Description: With the broad application of face identification, it is important that the performance estimated for an algorithm using a sample can be generalized to the population performance. We proposed using an ... More
Full Text: Full Text
Reviewed: Reviewed
Authors: Verity, Dominic
Date: 2007
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/84768
Description: This paper continues the development of a simplicial theory of weak omega-categories, by studying categories which are enriched in weak complicial sets. These complicial Gray-categories generalise bot ... More
Reviewed: Reviewed
Date: 2005
Subject Keyword: 080300 Computer Software
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1244823
Description: A PEC is a Pattern Enforcing Compiler, which is like a conventional compiler only extended to include the extra checks needed to enforce design patterns. PECs are currently a research project and the ... More
Reviewed: Reviewed
Date: 2002
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1176138
Description: 11 page(s)
Reviewed: Reviewed
  • First
  • Previous
  • 1
  • Next
  • Last