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.

Michael Shulman
SearchCollections
Map detail
Michael Shulman13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMichael ShulmanAMichael ShulmanResearcher*-Autonomous Envelopes and ConservativityW*-Autonomous Envelopes ...preprint / 2021Affine logic for constructive mathematicsWAffine logic for constr...preprint / 2022The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctionsWThe 2-Chu-Dialectica co...preprint / 2020Comparing composites of left and right derived functorsWComparing composites of...preprint / 2011The Shape of InfinityWThe Shape of Infinitypreprint / 2012Exact completions and small sheavesWExact completions and s...preprint / 2012Enriched indexed categoriesWEnriched indexed catego...preprint / 2014The univalence axiom for elegant Reedy presheavesWThe univalence axiom fo...preprint / 2015Of Matters CondensedWOf Matters Condensedpreprint / 2015Reedy categories and their generalizationsWReedy categories and th...preprint / 2015Homotopy Type Theory: A synthetic approach to higher equalitiesWHomotopy Type Theory: A...preprint / 2016The directed plump orderingWThe directed plump orde...preprint / 2022
Person12 links

Michael Shulman

Researcher

Paper*-Autonomous Envelopes and ConservativityAuthorship / preprint / 2021PaperAffine logic for constructive mathematicsAuthorship / preprint / 2022PaperThe 2-Chu-Dialectica construction and the polycategory of multivariable adjunctionsAuthorship / preprint / 2020PaperComparing composites of left and right derived functorsAuthorship / preprint / 2011PaperThe Shape of InfinityAuthorship / preprint / 2012PaperExact completions and small sheavesAuthorship / preprint / 2012PaperEnriched indexed categoriesAuthorship / preprint / 2014PaperThe univalence axiom for elegant Reedy presheavesAuthorship / preprint / 2015

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)