scientific article; zbMATH DE number 3574077
From MaRDI portal
Publication:4145861
zbMath0368.18001MaRDI QIDQ4145861
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Homological algebra in category theory, derived categories and functors (18G99) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Foundations, relations to logic and deductive systems (18A15)
Related Items (only showing first 100 items - show all)
Unnamed Item ⋮ Unnamed Item ⋮ Functional Thesauri, Classifying Topoi, Unification, and Flatness ⋮ Functional sorts in data type specifications ⋮ Partiality and Container Monads ⋮ Relational set theory ⋮ Unnamed Item ⋮ Some Results on Locally Finitely Presentable Categories ⋮ Theories of presheaf type ⋮ What do Abelian categories form? ⋮ Unnamed Item ⋮ Descent Data and Absolute Kan Extensions ⋮ Discrete Double Fibrations ⋮ Triposes as a generalization of localic geometric morphisms ⋮ Cauchy completeness for DG-categories ⋮ Dictoses ⋮ Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals ⋮ On the dependent product in toposes ⋮ Smooth Homotopy of Infinite-Dimensional 𝐶^{∞}-Manifolds ⋮ Unnamed Item ⋮ THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC ⋮ Univalent categories of modules ⋮ Limits, colimits, and spectra of modelled spaces ⋮ Iterated \(S^3\) Sasaki joins and Bott orbifolds ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The Greenberg Functor is Site Cocontinuous ⋮ Unnamed Item ⋮ Locally free vector spaces in a topos ⋮ An induction principle and pigeonhole principles for K-finite sets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes ⋮ Pre-Hausdorff and Hausdorff proximity spaces ⋮ Distribution algebras and duality ⋮ A note on effectively projective objects ⋮ Boolean algebras in a localic topos ⋮ Construction of Closure Operations in a Category of Presheaves ⋮ Categorical aspects of generating functions. I: Exponential formulas and Krull-Schmidt categories ⋮ Real numbers in the topos of sheaves over the category of filters ⋮ On the structure of categories of coalgebras ⋮ Domains in \(H\) ⋮ Stacks and D-brane bundles ⋮ The strength of Mac Lane set theory ⋮ A study on the quasi topos ⋮ Cartesian double theories: a double-categorical framework for categorical doctrines ⋮ From coherent structures to universal properties ⋮ Type theories, toposes and constructive set theory: Predicative aspects of AST ⋮ Two applications of analytic functors ⋮ String orbifolds and quotient stacks ⋮ Why Sets? ⋮ A proposed categorical semantics for Pure ML ⋮ Internal split opfibrations and cofunctors ⋮ Topos Theory in Montréal in the 1970s: My Personal Involvement ⋮ On the Distinction Between Sets and Classes: A Categorical Perspective ⋮ A STUDY ON THE CATEGORY OF NORMAL FUZZY HYPERGROUPS ⋮ From term models to domains ⋮ The nominal/FM Yoneda Lemma ⋮ On Supercompactly and Compactly Generated Toposes ⋮ Categorie variabili ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A STUDY ON THE CARTESIAN CLOSED CATEGORY POSM ⋮ Actions of internal groupoids in the category of Leibniz algebras ⋮ Local pre-Hausdorff extended pseudo-quasi-semi metric spaces ⋮ Unnamed Item ⋮ On the normal completion of a Boolean algebra ⋮ Protomodular aspect of the dual of a topos ⋮ Modulated bicategories ⋮ Facets of descent. I ⋮ A simplicial foundation for differential and sector forms in tangent categories ⋮ Finiteness notions in fuzzy sets ⋮ Variations on the bagdomain theme ⋮ Partial map classifiers and partial cartesian closed categories ⋮ Extensional realizability ⋮ Internal categories and groupoids in congruence modular varieties ⋮ A synthetic version of Lie's second theorem ⋮ The Lee identities in topoi. I ⋮ Finite sets and natural numbers in intuitionistic TT ⋮ Partiality, cartesian closedness, and toposes ⋮ Prime elements in a localic topos ⋮ Regular and exact completions ⋮ Classifying toposes for first-order theories ⋮ Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category ⋮ Atomic toposes ⋮ On algebras defined by operations and equations in a topos ⋮ Open maps of toposes ⋮ Restriction categories II: Partial map classification ⋮ Abstract Galois theory ⋮ Galois theory in a topos ⋮ Galois theory and theaters of action in a topos ⋮ Indexed categories and generated topologies ⋮ The Gleason cover of a topos. I ⋮ The Gleason cover of a topos. II ⋮ Sheaf models for set theory ⋮ Intuitionist type theory and the free topos ⋮ Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets
This page was built for publication:
