BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Richard Garner
SearchCollections
Map detail
Richard Garner13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRichard GarnerARichard GarnerResearcherAbstract hypernormalisation, and normalisation-by-trace-evaluation for generative systemsWAbstract hypernormalisa...preprint / 2022An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential IdealWAn Essential Local Geom...preprint / 2022Lifting accessible model structuresWLifting accessible mode...preprint / 2018An embedding theorem for tangent categoriesWAn embedding theorem fo...preprint / 2020Ultrafilters, finite coproducts and locally connected classifying toposesWUltrafilters, finite co...preprint / 2020The Vietoris monad and weak distributive lawsWThe Vietoris monad and ...preprint / 2020On the axioms for adhesive and quasiadhesive categoriesWOn the axioms for adhes...preprint / 2012Lex colimitsWLex colimitspreprint / 2012Remarks on exactness notions pertaining to pushoutsWRemarks on exactness no...preprint / 2012Grothendieck quasitoposesWGrothendieck quasitoposespreprint / 2012Two-dimensional models of type theoryWTwo-dimensional models ...preprint / 2011An abstract view on syntax with sharingWAn abstract view on syn...preprint / 2011
Person12 links

Richard Garner

Researcher

PaperAbstract hypernormalisation, and normalisation-by-trace-evaluation for generative systemsAuthorship / preprint / 2022PaperAn Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential IdealAuthorship / preprint / 2022PaperLifting accessible model structuresAuthorship / preprint / 2018PaperAn embedding theorem for tangent categoriesAuthorship / preprint / 2020PaperUltrafilters, finite coproducts and locally connected classifying toposesAuthorship / preprint / 2020PaperThe Vietoris monad and weak distributive lawsAuthorship / preprint / 2020PaperOn the axioms for adhesive and quasiadhesive categoriesAuthorship / preprint / 2012PaperLex colimitsAuthorship / preprint / 2012

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)