scientific article

Publication date: 17 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

sheaves topoi adjoint functors allegories natural transformations geometric logic

Topoi (18B25) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)

Related Items (only showing first 100 items - show all)

Nominal lambda calculus: an internal language for FM-Cartesian closed categories ⋮ A recursion theorem for predicate transformers on inductive data types ⋮ Sheaves on involutive quantales: Grothendieck quantales. ⋮ Categories with fuzzy sets and relations ⋮ On language equations with invertible operations ⋮ Infinitary first-order categorical logic ⋮ Saturated models of intuitionistic theories ⋮ ``Keep definition, change category -- a practical approach to state-based system calculi ⋮ Relation lifting, a survey ⋮ Algorithms for Kleene algebra with converse ⋮ Cryptomorphic topological structures: a computational, relation-algebraic approach ⋮ \(\mathcal Q\)-\(*\)-categories ⋮ On right adjoints to exponential functors ⋮ Maps. I: Relative to a factorisation system ⋮ A categorical setting for the 4-colour theorem ⋮ Some free constructions in realizability and proof theory ⋮ Identification of certain structures as split opfibrations over \(\Delta^{\text{op}}\) ⋮ Jordan-Hölder, modularity and distributivity in non-commutative algebra ⋮ Partial Horn logic and Cartesian categories ⋮ On transitivity of strict preference relations ⋮ Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary ⋮ Additive relation categories or algebras: MacLane, Hutchinson axioms and bi-modularity ⋮ Avoiding the axiom of choice in general category theory ⋮ A coalgebraic perspective on logical interpretations ⋮ Regular and exact completions ⋮ Determinisation of relational substitutions in ordered categories with domain ⋮ Cardinality functions in allegories ⋮ Classifying toposes for first-order theories ⋮ Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels ⋮ Mal'cev categories and fibration of pointed objects ⋮ Internal diagrams and archetypal reasoning in category theory ⋮ Quotient completion for the foundation of constructive mathematics ⋮ Categories of relations for variable-basis fuzziness ⋮ Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) ⋮ Supertropical monoids: basics and canonical factorization ⋮ Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator ⋮ Programming from metaphorisms ⋮ A calculational approach to mathematical induction ⋮ Typing theorems of omega algebra ⋮ Programming from Galois connections ⋮ Tensor products and relation quantales ⋮ A relation-algebraic approach to the ``Hoare logic of functional dependencies ⋮ Relational properties of sequential composition of coalgebras ⋮ A new framework for declarative programming ⋮ On the equational definition of the least prefixed point. ⋮ Partially traced categories ⋮ Towards a linear algebra of programming ⋮ Representation theory of Goguen categories. ⋮ A lattice-theoretical perspective on adhesive categories ⋮ A good theory of ideals in regular multi-pointed categories ⋮ Elementary characterisation of small quantaloids of closed cribles ⋮ Categorical representation theorems of fuzzy relations ⋮ Relational matching for graphical calculi of relations ⋮ Monomorphic characterization of \(n\)-ary direct products ⋮ A relation algebraic approach to interaction categories ⋮ Convergence of vector bundles with metrics of Sasaki-type ⋮ Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types ⋮ Products in categories of relations ⋮ Groupoid sheaves as quantale sheaves ⋮ On the relationship between compact regularity and Gentzen's cut rule ⋮ Quantaloidal nuclei, the syntactic congruence and tree automata ⋮ Predicate transformers and higher-order programs ⋮ A characterization of lambda definability in categorical models of implicit polymorphism ⋮ Coherence and strictification for self-similarity ⋮ The category of equilogical spaces and the effective topos as homotopical quotients ⋮ Relations in operational categories ⋮ Peirce allegories. Identities involving transitive elements and symmetrical ones ⋮ Introduction: A personal tribute to Peter Freyd and Bill Lawvere ⋮ Constraint logic programming with a relational machine ⋮ Stable domains are generalized topological spaces ⋮ Verifying minimum spanning tree algorithms with Stone relation algebras ⋮ Inductive data types for predicate transformers ⋮ An elementary characterization of categories of separated objects ⋮ Splitting idempotents in a fibered setting ⋮ Transport of structure in higher homological algebra ⋮ Categorical simulations ⋮ On Morita contexts in bicategories ⋮ Embedding mappings and splittings with applications ⋮ Dedekind categories with cutoff operators ⋮ Collagories: relation-algebraic reasoning for gluing constructions ⋮ Compact Hausdorff spaces with relations and Gleason spaces ⋮ Finding models through graph saturation ⋮ Membership values in arrow categories ⋮ An algebraic framework for minimum spanning tree problems ⋮ On graph reasoning ⋮ On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular ⋮ Lawvere completeness in topology ⋮ Structural induction and coinduction in a fibrational setting ⋮ On the algebraic structure of declarative programming languages ⋮ Wellfounded trees in categories ⋮ Arrow categories ⋮ Weak subobjects and the epi-monic completion of a category. ⋮ An algebraic formalization of fuzzy relations ⋮ Intrinsic centrality and associated classifying properties ⋮ A characterization of the left exact categories whose exact completions are toposes ⋮ Bernays-Gödel type theory ⋮ A new algebraic approach to L-fuzzy relations convenient to study crispness ⋮ Semi-localizations of semi-abelian categories ⋮ Subtractive categories ⋮ Abstract abstract reduction

This page was built for publication: