Pages that link to "Item:Q1850102"
From MaRDI portal
The following pages link to Quasi-categories and Kan complexes (Q1850102):
Displaying 50 items.
- Adjoint functor theorems for ∞‐categories (Q3296751) (← links)
- From Mathesis Universalis to Provability, Computability, and Constructivity (Q3305633) (← links)
- A Survey of (∞, 1)-Categories (Q3400010) (← links)
- Factorization homology of topological manifolds (Q3462029) (← links)
- Homotopy theoretic models of identity types (Q3598111) (← links)
- Remarks on Chern-Simons theory (Q3623560) (← links)
- Quasi-Kan extensions for 2-categories (Q4133790) (← links)
- Contravariance through enrichment (Q4563229) (← links)
- Stability for inner fibrations revisited (Q4563243) (← links)
- Introduction to gestural similarity in music. An application of category theory to the orchestra (Q4620412) (← links)
- The tangent complex and Hochschild cohomology of -rings (Q4914610) (← links)
- Higher Auslander algebras of type 𝔸 and the higher Waldhausen 𝖲-constructions (Q4965248) (← links)
- ZERO-POINTED MANIFOLDS (Q4992601) (← links)
- Closed dendroidal sets and unital operads (Q5004664) (← links)
- Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity-Topoi (Q5113920) (← links)
- On Quasi-Categories of Comodules and Landweber Exactness (Q5126362) (← links)
- Goodwillie Approximations to Higher Categories (Q5162912) (← links)
- Simplicial Models for Concurrency (Q5179017) (← links)
- Infinity category theory from scratch (Q5217590) (← links)
- Fibrations of $\infty$-categories (Q5217591) (← links)
- A Quillen's Theorem A for strict $\infty$-categories II: the $\infty$-categorical proof (Q5217593) (← links)
- The genuine operadic nerve (Q5233742) (← links)
- Flagged higher categories (Q5236794) (← links)
- Type Theory and Homotopy (Q5253928) (← links)
- <i>Coherence in three-dimensional category theory</i>(Cambridge Tracts in Mathematics 201)<i>By</i>Nick Gurski (Q5255546) (← links)
- Homotopical Categories of Logics (Q5258961) (← links)
- Affineness and chromatic homotopy theory (Q5259824) (← links)
- Geometric Satake, Springer correspondence, and small representations II (Q5264109) (← links)
- Quillen model categories (Q5397675) (← links)
- Configuration spaces and $\Theta _n$ (Q5418537) (← links)
- Noncommutative stable homotopy and stable infinity categories (Q5496338) (← links)
- Database queries and constraints via lifting problems (Q5740402) (← links)
- A perfect pairing for monoidal adjunctions (Q6049959) (← links)
- Enhanced bivariant homology theory attached to six functor formalism (Q6072557) (← links)
- Simplicial model structures on pro-categories (Q6091935) (← links)
- Moduli of spaces with prescribed homotopy groups (Q6103323) (← links)
- Quasi-2-Segal sets (Q6113270) (← links)
- On the equivalence of all models for (∞,2)$(\infty,2)$‐categories (Q6134528) (← links)
- Weak Cartesian properties of simplicial sets (Q6148310) (← links)
- Two-level type theory and applications (Q6149950) (← links)
- Rings and modules in Kan spectra (Q6159706) (← links)
- (Q6161780) (← links)
- Nerves and cones of free loop-free \(\omega\)-categories (Q6168319) (← links)
- Homotopy sheaves on generalised spaces (Q6185816) (← links)
- Internal sums for synthetic fibered \((\infty,1)\)-categories (Q6496511) (← links)
- Comparing orthogonal calculus and calculus with reality (Q6585670) (← links)
- Cubical models of \((\infty, 1)\)-categories (Q6605390) (← links)
- Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories (Q6612003) (← links)
- Colimits and cocompletions in internal higher category theory (Q6617078) (← links)
- Higher internal covers (Q6628976) (← links)
