DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Higher category theory
Higher category theory
Experience Implementing a Performant Category-Theory Library in Coq
Parametrized Higher Category Theory
Yoneda's Lemma for Internal Higher Categories
Exposé I – Elements of Parametrized Higher Category Theory
A Whirlwind Tour of the World of (∞,1)-Categories
Outline and References for Mini-Course on Higher Topos Theory (Htt–Uf Summer School: Leeds, June 2019)
A Type Theory for Cartesian Closed Bicategories
Categorical Notions of Fibration
Introduction to Higher Category Theory
Homotopical Realizations of Infinity Groupoids
Homotopy Theory Primer for Hott
A Short Course on ∞-Categories
Workshop on Applied Category Theory: Bridging Theory and Practice
Higher Categorical Structures and Their Applications
Notes on Category Theory
Local Higher Category Theory
Categorical Social Science: Theory, Methodology and Design
Higher-Dimensional Algebra V: 2-Groups
Top View
LEARNING SEMINAR on HIGHER CATEGORY THEORY in The
Notes on Quasi-Categories
An Australian Conspectus of Higher Categories∗
Research Statement
Parametrized Higher Category Theory
Higher Category Theory (Lecture 5)
NOTES on CHAPTER 1 of HTT §1. a Category Has a Set (Or Class) Of
Category Theory 2019
Category Theory
Arxiv:1807.03281V7 [Math.AT] 23 Aug 2020
Introduction to ∞-Topoi and Exodromy for Schemes Oberseminar of the Prof
Theorems in Higher Category Theory and Applications
Higher Categories from Type Theories (Phd Thesis)
Data Structures for Quasistrict Higher Categories Arxiv:1610.06908V1
Higher Category Theory
Arxiv:2001.10088V2 [Math.CT]
Algebraic Models for Higher Categories
On the Unicity of the Homotopy Theory of Higher Categories