Some properties of Fib as a fibred \(2\)-category
From MaRDI portal
Publication:1295672
DOI10.1016/S0022-4049(97)00129-1zbMath0935.18007OpenAlexW1964572513MaRDI QIDQ1295672
Publication date: 9 May 2000
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0022-4049(97)00129-1
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Fibered categories (18D30) Functor categories, comma categories (18A25) Enriched categories (over closed or monoidal categories) (18D20) Eilenberg-Moore and Kleisli constructions for monads (18C20) Foundations, relations to logic and deductive systems (18A15)
Related Items
Monoidal Grothendieck construction, Logical relations and parametricity -- a Reynolds programme for category theory and programming languages, Linear Dependent Type Theory for Quantum Programming Languages, Deriving logical relations from interpretations of predicate logic, Stone dualities from opfibrations, Bisimulation as a logical relation, Bilimits are bifinal objects, Doctrines, modalities and comonads, Yoneda structures from 2-toposes, Fibred 2-categories and bicategories, On straightening for Segal spaces, Unnamed Item, On effective descent \(\mathcal{V}\)-functors and familial descent morphisms, A general framework for the semantics of type theory, Bicategorical type theory: semantics and syntax, The enriched Grothendieck construction, THREE STUDIES IN HIGHER CATEGORY THEORY: FIBRATIONS, SKEW-MONOIDAL STRUCTURES AND EXCISION OF EXTREMALS, Splitting idempotents in a fibered setting, Fibrations of AU-contexts beget fibrations of toposes, Six-functor-formalisms and fibered multiderivators, Fibered aspects of Yoneda's regular span, Discrete and conservative factorizations in \textbf{Fib}\((B)\), 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\), Two-dimensional models of type theory, Structural induction and coinduction in a fibrational setting, A categorical outlook on relational modalities and simulations, Network Models
Cites Work
- Structural induction and coinduction in a fibrational setting
- Fibrations and partial products in a 2-category
- Formal category theory: Adjointness for 2-categories
- The formal theory of monads
- Fibered categories and the foundations of naive category theory
- Elementary observations on 2-categorical limits
- Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
