The following pages link to Michael Shulman (Q246332):
Displaying 50 items.
- Shadows and traces in bicategories (Q382402) (← links)
- Traces in symmetric monoidal categories (Q404679) (← links)
- Comparing composites of left and right derived functors (Q554237) (← links)
- Enhanced 2-categories and limits for lax morphisms (Q655343) (← links)
- Not every pseudoalgebra is equivalent to a strict one (Q664768) (← links)
- Mayer-Vietoris sequences in stable derivators (Q740180) (← links)
- Enriched categories as a free cocompletion (Q904009) (← links)
- Univalence for inverse EI diagrams (Q1689738) (← links)
- Comparing material and structural set theories (Q1715477) (← links)
- A Tannakian context for Galois theory (Q1935192) (← links)
- Construction of the circle in \textit{UniMath} (Q2031555) (← links)
- Generalized stability for abstract homotopy theories (Q2045747) (← links)
- The multiplicativity of fixed point invariants (Q2444350) (← links)
- Two-dimensional monadicity (Q2445311) (← links)
- Parametrized spaces model locally constant homotopy sheaves (Q2470424) (← links)
- Magnitude homology of enriched categories and metric spaces (Q2667193) (← links)
- Duality and traces for indexed monoidal categories (Q2847338) (← links)
- Enriched indexed categories (Q2847374) (← links)
- Exact completions and small sheaves (Q2919780) (← links)
- Idempotents in intensional type theory (Q2974780) (← links)
- A type theory for synthetic $\infty$-categories (Q3121017) (← links)
- Lectures on N-Categories and Cohomology (Q3400009) (← links)
- Framed bicategories and monoidal fibrations (Q3646422) (← links)
- Contravariance through enrichment (Q4563229) (← links)
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312) (← links)
- The linearity of fixed point invariants (Q4686267) (← links)
- Semantics of higher inductive types (Q4958656) (← links)
- Quantum Gauge Field Theory in Cohesive Homotopy Type Theory (Q4995149) (← links)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)
- Homotopy Type Theory: A synthetic approach to higher equalities (Q5040166) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- (Q5111322) (← links)
- A Higher Structure Identity Principle (Q5145618) (← links)
- Homotopy Type Theory: The Logic of Space (Q5164726) (← links)
- A unified framework for generalized multicategories (Q5200289) (← links)
- Modalities in homotopy type theory (Q5208873) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
- Calculating the Fundamental Group of the Circle in Homotopy Type Theory (Q5271059) (← links)
- The Seifert-van Kampen Theorem in Homotopy Type Theory (Q5278408) (← links)
- Adjoint Logic with a 2-Category of Modes (Q5283430) (← links)
- The additivity of traces in monoidal derivators (Q5500787) (← links)
- The linearity of traces in monoidal categories and bicategories (Q5739946) (← links)
- Univalent categories and the Rezk completion (Q5740648) (← links)
- Univalence for inverse diagrams and homotopy canonicity (Q5740656) (← links)
- The derivator of setoids (Q5870839) (← links)
- The univalence axiom for elegant Reedy presheaves (Q5963045) (← links)
- Strange new universes: Proof assistants and synthetic foundations (Q6130525) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
- Affine logic for constructive mathematics (Q6301815) (← links)
- Semantics of multimodal adjoint type theory (Q6509050) (← links)
