Concepedia

Michael Shulman

MS

34

Publications

1.2K

Citations

22

H-Index

2006

Active since

Affiliations

University of San Diego(Current)

University of California San Diego

University of Kentucky

Macquarie University

University of Ljubljana

Michael Shulman is an author at University of San Diego specializing in semantics, engineering, and linguistics.

Top concepts

SemanticsEngineeringLinguisticsLanguageComputer ScienceAutomated ReasoningRepresentation TheorySemantic WebKnowledge DiscoveryData Mining

Publications per year

2006–2021

34

Publications

34

Framed Bicategories and Monoidal Fibrations

Michael Shulman · Theory and applications of categories · 2008 · 106 citations · Full text

Univalent categories and the Rezk completion

Benedikt Ahrens, Krzysztof Kapulkin, Michael Shulman · Mathematical Structures in Computer Science · 2015 · 74 citations · Full text

Rezk Completion, Univalence Axiom, Type Theory +6

Constructing symmetric monoidal bicategories

Michael Shulman · arXiv (Cornell University) · 2010 · 72 citations · Full text

Lifting Condition, Symmetric Monoidal Bicategories, Higher Category Theory +2

Set theory for category theory

Michael Shulman · ArXiv.org · 2008 · 64 citations · Full text

Formal Logic, Type Theory, Higher Category Theory +6

A type theory for synthetic ∞-categories

Emily Riehl, Michael Shulman · 2017 · 60 citations

Synthetic Theory, Higher Category Theory, Type Theory +5

Rows per page

1–5 of 34