The following pages link to Richard Garner (Q323665):
Displaying 50 items.
- Orientals and cubes, inductively (Q323666) (← links)
- Lex colimits (Q456823) (← links)
- Ionads (Q456842) (← links)
- Coalgebras governing both weighted Hurwitz products and their pointwise transforms (Q509256) (← links)
- Grothendieck quasitoposes (Q713289) (← links)
- Retraction note to: ``Understanding the small object argument'' (Q742931) (← links)
- Cartesian differential categories as skew enriched categories (Q825992) (← links)
- Algebraic weak factorisation systems. I: Accessible AWFS. (Q886977) (← links)
- Algebraic weak factorisation systems. II: Categories of weak maps. (Q886978) (← links)
- Commutativity (Q899553) (← links)
- Enriched categories as a free cocompletion (Q904009) (← links)
- The identity type weak factorisation system (Q959823) (← links)
- Homomorphisms of higher categories (Q984873) (← links)
- On the strength of dependent products in the type theory of Martin-Löf (Q1024547) (← links)
- An embedding theorem for tangent categories (Q1682009) (← links)
- Bousfield localisation and colocalisation of one-dimensional model structures (Q1732877) (← links)
- On semiflexible, flexible and pie algebras (Q1946170) (← links)
- Monads and theories (Q2001598) (← links)
- Ultrafilters, finite coproducts and locally connected classifying toposes (Q2004956) (← links)
- Operadic categories and décalage (Q2217522) (← links)
- Generalising the étale groupoid-complete pseudogroup correspondence (Q2237404) (← links)
- Revisiting the categorical interpretation of dependent type theory (Q2253180) (← links)
- Combinatorial structure of type dependency (Q2254771) (← links)
- The Vietoris monad and weak distributive laws (Q2307527) (← links)
- The Isbell monad (Q2359936) (← links)
- A characterisation of algebraic exactness (Q2376585) (← links)
- Hochschild homology, lax codescent, and duplicial structure (Q2404189) (← links)
- Polycategories via pseudo-distributive laws (Q2427570) (← links)
- Restriction categories as enriched categories (Q2435310) (← links)
- Two-dimensional regularity and exactness (Q2436719) (← links)
- Lawvere theories, finitary monads and Cauchy-completion (Q2451739) (← links)
- Topological = total (Q2877682) (← links)
- Remarks on exactness notions pertaining to pushouts (Q2884481) (← links)
- On the axioms for adhesive and quasiadhesive categories (Q2884483) (← links)
- Topological and Simplicial Models of Identity Types (Q2946651) (← links)
- Types are weak <i>ω</i> -groupoids (Q3079518) (← links)
- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs (Q3184683) (← links)
- Cocompletion of restriction categories (Q3294959) (← links)
- Two-dimensional models of type theory (Q3395310) (← links)
- (Q3423074) (← links)
- The low-dimensional structures formed by tricategories (Q3628711) (← links)
- A homotopy-theoretic universal property of Leinster's operad for weak ω-categories (Q3646108) (← links)
- An enriched view on the extended finitary monad--Lawvere theory correspondence (Q4637686) (← links)
- Shapely monads and analytic functors (Q4684352) (← links)
- An abstract view on syntax with sharing (Q4902314) (← links)
- An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal (Q5006461) (← links)
- The costructure–cosemantics adjunction for comodels for computational effects (Q5058362) (← links)
- Lifting accessible model structures (Q5108880) (← links)
- Every 2-Segal space is unital (Q5145388) (← links)
- Diagrammatic characterisation of enriched absolute colimits (Q5248242) (← links)
