Macquarie University ResearchOnline
List View
Showing items 1 - 7 of 7.
Add to Quick Collection All 7 Results
| Title | Author/Creator | Date | Full Text | Reviewed | |
|---|---|---|---|---|---|
| Homomorphisms of higher categories | Garner, Richard | 2010 | — | 
|
|
| A Homotopy-theoretic universal property of Leinster's operad for weak ω-categories | Garner, Richard | 2009 |
|
|
|
| The Low-dimensional structures formed by tricategories | Garner, Richard; Gurski, Nick | 2009 |
|
|
|
| On the strength of dependent products in the type theory of Martin-Löf | Garner, Richard | 2009 | — |
|
|
| Understanding the small object argument | Garner, Richard | 2009 | — |
|
|
| Polycategories via pseudo-distributive laws | Garner, Richard | 2008 | — |
|
|
| Double clubs | Garner, Richard | 2006 | — |
|
Author/Creator
- Gurski, Nick (1)
Subject Keyword
Copyright Macquarie University | Privacy Statement | Accessibility Information
ABN 90 952 801 237 | CRICOS Provider No 00002J