The following pages link to Richard Garner (Q323665):
Displaying 25 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)
- Shapely monads and analytic functors (Q4684352) (← links)
- An abstract view on syntax with sharing (Q4902314) (← links)
- Lifting accessible model structures (Q5108880) (← links)
- Stream processors and comodels (Q5883748) (← links)
- Stream Processors and Comodels. (Q6061675) (← links)
- Hypernormalisation in an abstract setting (Q6116181) (← links)
