Fibered categories and the foundations of naive category theory

From MaRDI portal
Publication:3677911

DOI10.2307/2273784zbMath0564.18001OpenAlexW2088862781WikidataQ61632350 ScholiaQ61632350MaRDI QIDQ3677911

Jean Bénabou

Publication date: 1985

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273784



Related Items

Term graph rewriting and garbage collection using opfibrations, Facets of descent. I, On completeness of locally-internal categories, Functorial theory of parameterized specifications in a general specification framework, On completeness and cocompleteness in and around small categories, Logic in Category Theory, A compositional proof system on a category of labelled transition systems, Coherence for bicategorical cartesian closed structure, Yoneda structures from 2-toposes, A small complete category, Conceptual completeness for first-order intuitionistic logic: An application of categorical logic, On the semantics of the universal quantifier, Avoiding the axiom of choice in general category theory, A category-theoretic account of program modules, Dictoses, A remark on the theory of semi-functors, Fibred 2-categories and bicategories, Fibrations and recursivity, Fundamentals of compositional rewriting theory, On effective descent \(\mathcal{V}\)-functors and familial descent morphisms, Pre-rigid monoidal categories, What should a generic object be?, Equivalences between logics and their representing type theories, Fibrational Linguistics (FibLang): Language Acquisition, The categorical imperative: category theory as a foundation for deontic logic, Some fundamental algebraic tools for the semantics of computation. III: Indexed categories, Coinduction in Flow: The Later Modality in Fibrations, The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories, Internal type theory, Splitting idempotents in a fibered setting, The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories – an Intuitionistic Perspective, Distribution algebras and duality, Comprehension categories and the semantics of type dependency, Unnamed Item, The biequivalence of locally cartesian closed categories and Martin-Löf type theories, Homotopy theoretic models of identity types, From coherent structures to universal properties, A category-theoretic account of program modules, Functional completeness of the free locally Cartesian closed category and interpretations of Martin-Löf's theory of dependent types, Unnamed Item, The calculus of ends over a base topos, Categorie variabili, Joyal's arithmetic universes via type theory, Wellfounded trees in categories, Category theory and the foundations of mathematics: philosophical excavations., Containers: Constructing strictly positive types, Change of base for measure spaces, Some properties of Fib as a fibred \(2\)-category, Descent theory of locally internal categories, The MacLane problem on set-theoretical foundations for the category theory, Categories with Families: Unityped, Simply Typed, and Dependently Typed, Orbits and monoids in a topos, Proper maps of locales