Pages that link to "Item:Q1295672"
From MaRDI portal
The following pages link to Some properties of Fib as a fibred \(2\)-category (Q1295672):
Displaying 34 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- Fibred 2-categories and bicategories (Q393515) (← links)
- A categorical outlook on relational modalities and simulations (Q764263) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Fibrations and partial products in a 2-category (Q1320326) (← links)
- The enriched Grothendieck construction (Q1710396) (← links)
- Splitting idempotents in a fibered setting (Q1756501) (← links)
- Six-functor-formalisms and fibered multiderivators (Q1783967) (← links)
- Discrete and conservative factorizations in \textbf{Fib}\((B)\) (Q2040884) (← links)
- 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\) (Q2045881) (← links)
- Deriving logical relations from interpretations of predicate logic (Q2133176) (← links)
- Stone dualities from opfibrations (Q2141291) (← links)
- Bilimits are bifinal objects (Q2154269) (← links)
- Fibered aspects of Yoneda's regular span (Q2281330) (← links)
- Yoneda structures from 2-toposes (Q2643608) (← links)
- THREE STUDIES IN HIGHER CATEGORY THEORY: FIBRATIONS, SKEW-MONOIDAL STRUCTURES AND EXCISION OF EXTREMALS (Q2986547) (← links)
- Network Models (Q3294957) (← links)
- Monoidal Grothendieck construction (Q3305544) (← links)
- Two-dimensional models of type theory (Q3395310) (← links)
- A fibration of categories overH B (Q4392016) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
- Doctrines, modalities and comonads (Q5068204) (← links)
- Fibrations of AU-contexts beget fibrations of toposes (Q5112051) (← links)
- Double fibrations (Q5872359) (← links)
- On straightening for Segal spaces (Q6122173) (← links)
- On effective descent \(\mathcal{V}\)-functors and familial descent morphisms (Q6146488) (← links)
- A general framework for the semantics of type theory (Q6149910) (← links)
- Bicategorical type theory: semantics and syntax (Q6149956) (← links)
- Pointwise Kan extensions along 2-fibrations and the 2-category of elements (Q6589561) (← links)
- Discrete 2-fibrations (Q6617077) (← links)
- Semantics for two-dimensional type theory (Q6649441) (← links)
- Cartesian fibrations of \(( \infty,2)\)-categories (Q6661607) (← links)
- Colimits in 2-dimensional slices (Q6671775) (← links)
