Fibered categories and the foundations of naive category theory
From MaRDI portal
Publication:3677911
DOI10.2307/2273784zbMath0564.18001OpenAlexW2088862781WikidataQ61632350 ScholiaQ61632350MaRDI QIDQ3677911
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
representabilityparadoxesfibrationsfoundations of mathematicscategorical logicindexed categoriespseudofunctorfibred categoriesEqualityDefinabilitynaive category theoryFormal definability
Categorical logic, topoi (03G30) Fibered categories (18D30) Foundations, relations to logic and deductive systems (18A15)
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