Some properties of Fib as a fibred \(2\)-category

DOI10.1016/S0022-4049(97)00129-1zbMath0935.18007OpenAlexW1964572513MaRDI QIDQ1295672

Claudio Hermida

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

zbMATH Keywords

fibration2-categoryfibred categoryKleisli construction

Mathematics Subject Classification ID

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