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

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, Weighted and branching bisimilarities from generalized open maps, On difunctions, A generalization of de Vries duality to closed relations between compact Hausdorff spaces, Category theory in Isabelle/HOL as a basis for meta-logical investigation, Relational algebraic approach to the real numbers the additive group, Nonstandard proof methods in toposes, Barr-exact categories and soft sheaf representations, Types, abstraction, and parametric polymorphism, part 2, Dependences between domain constructions in heterogeneous relation algebras, Moore-Penrose Dagger Categories, Unnamed Item, Unnamed Item, Kleisli, Parikh and Peleg compositions and liftings for multirelations, Using relation-algebraic means and tool support for investigating and computing bipartitions, A Finite Axiomatisation of Finite-State Automata Using String Diagrams, Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras, Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants, Type-n Arrow Categories, Internal Neighbourhood Structures II: Closure and closed morphisms, Types as parameters, Distance Domains: Completeness, Why mathematics needs engineering, Kernels, in a nutshell, Towards patterns for heaps and imperative lambdas, Dependencies in relational models of databases, Morita Equivalence of Semigroups with Locally Commuting Idempotents, Problems in rewriting applied to categorical concepts by the example of a computational comonad, Unnamed Item, Convenient category of processes and simulations I: Modulo strong bisimilarity, Relational set theory, The S-replete construction, Categorical fixed point calculus, Logic in Category Theory, Typed Linear Algebra for Weigthed (Probabilistic) Automata, Towards Certifiable Implementation of Graph Transformation via Relation Categories, Point Axioms in Dedekind Categories, Relation Algebras, Matrices, and Multi-valued Decision Diagrams, Continuous Relations and Richardson’s Theorem, Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory, Cofree objects in the centralizer and the center categories, Flatness properties of acts over semigroups, Unnamed Item, Relations in linear algebra, Autonomous posets and quantales, A Relation-Algebraic Approach to Multirelations and Predicate Transformers, Components and acyclicity of graphs. An exercise in combining precision with concision, Unnamed Item, (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras, Sharpness in the Fuzzy World, Categories of relations as models of quantum theory, On closures verifying that the interior of a closed element is closed, Formal Concepts in Dedekind Categories, Boolean Algebras and Stone Maps in Schröder Categories, Cardinality in Allegories, An Ordered Category of Processes, Categories for Dynamic Epistemic Logic, An axiomatic characterization of the price-money message mechanism for economies with satiation, Subdirect products of preadditive categories and weak equivalences, On a Graph Calculus for Algebras of Relations, Unnamed Item, Algebraic logoi, Relative full completeness for bicategorical Cartesian closed structure, A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes, The class of representable semilattice-ordered monoids is not a variety, Second-order properties of undirected graphs, A variety theorem for relational universal algebra, Relational sums and splittings in categories of \(L\)-fuzzy relations, Change of base using arrow categories, Graph theory in Coq: minors, treewidth, and isomorphisms, Unnamed Item, Unnamed Item, A string diagrammatic axiomatisation of finite-state automata, Components of the fundamental category. II, Distributed Modal Logic, Completeness for Identity-free Kleene Lattices, Unnamed Item, The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations, Monoid-labeled transition systems, Stably Compact Spaces and Closed Relations, Reasoning with Graphs, Sobriety for equilogical spaces, Unifying exact completions, Cryptographic logical relations, Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions, Normal forms for connectedness in categories, Completeness of a relational calculus for program schemes, On the structure of categories of coalgebras, A duality for modules over monoidal categories of representations of semisimple Hopf algebras, Unnamed Item, Ehresmann theory and partition monoids, Unnamed Item, Normal forms for binary relations, Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}, Positive Fork Graph Calculus, Semi-abelian categories, Unnamed Item, Monoid properties as invariants of toposes of monoid actions, Internal neighbourhood structures, A note on admissibility of closed Galois structures, Graphical Conjunctive Queries., Automating free logic in HOL, with an experimental application in category theory, Automating Free Logic in Isabelle/HOL, Extending set functors to generalised metric spaces, Good Magma Gradings on Rings, The exact completion for regular categories enriched in posets, Reversible Kleene lattices, CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC, On the parallel between the suplattice and preframe approaches to locale theory, A Diagrammatic Logic for Object-Oriented Visual Modeling, Quotients of span categories that are allegories and the representation of regular categories, Point axioms and related conditions in Dedekind categories, Strong Completeness of S4 for the Real Line