Publication:3682648

No author found.

Publication date: 1985

triples; embedding theorems; theories; toposes; theoretical computer science; sketches; Deligne's theorem; internal logic; finite colimits; logical functor; Butler's theorems; sheaf categories

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

18B25: Topoi

18C10: Theories (e.g., algebraic theories), structure, and semantics

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads

18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)

18-02: Research exposition (monographs, survey articles) pertaining to category theory

Related Items

Languages for monoidal categories, Fixed-point operations on ccc's. I, Proving semantical equivalence of data specifications, Finite objects in a locos, Covariant functors in categories of topological spaces, A sheaf-theoretic approach to pattern matching and related problems, Tail recursion through universal invariants, A logic for category theory, Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, List-arithmetic distributive categories: Locoi, Fixed points in Cartesian closed categories, Notions of computation and monads, On comonadicity of the extension-of-scalars functors, Discrete Lawvere theories and computational effects, Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches, Partial Horn logic and Cartesian categories, Morita theory for coring extensions and cleft bicomodules., Combining algebraic effects with continuations, 2-groups, trialgebras and their Hopf categories of representations, The combinatorics of n-categorical pasting, Pluri-adjoints and preservation of finite limits, A generalization of the concept of sketch, An algebraic approach to stable domains, The category of varieties and interpretations is alg-universal, Representation of categories, Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes, Categorical aspects of data type constructors, Partial morphisms in categories of effective objects, Automorphisms of manifolds and algebraic K-theory. I, A topos-theorist looks at dilators, Uniformly constructive monads, Domain theory in logical form, A characterization of quasi-toposes, A globalization of the Hahn-Banach theorem, CABool is monadic over almost all categories, Quantitative domains and infinitary algebras, Conditional rewriting logic as a unified model of concurrency, Algebraic functor slices, The logic of structures, An algebraic semantics for structured transition systems and its application to logic programs, Enriched categorical semantics for distributed calculi, Comprehension categories and the semantics of type dependency, Lie theory of formal groups over an operad., Repleteness and the associated sheaf, Continuous families of coalgebras, Sketches and parametrization, Some remarks on Maltsev and Goursat categories, What is concrete equivalence?, Semantics of weakening and contraction, An algebraic theory of normal forms, CGOOD, a categorical graph-oriented object data model, Regular and exact completions, Closure categories, A representable approach to finite nondeterminism, Constructing process categories, An equational notion of lifting monad, The monoidal Eilenberg-Moore construction and bialgebroids, Category theory and the foundations of mathematics: philosophical excavations., Locally cartesian closed exact completions, Combining a monad and a comonad, Beck's theorem for pseudo-monads, Similarities between powersets of terms, Pseudo-commutative monads and pseudo-closed 2-categories, Coalgebras and monads in the semantics of Java, Structured theories and institutions, Maps. I: Relative to a factorisation system, On completeness and cocompleteness in and around small categories, A categorical setting for the 4-colour theorem, Constructing a quasi-uniform function space, Extending localization functors, New model categories from old, Lax naturality through enrichment, Cartan-Eilenberg cohomology and triples, Relative properties of frame language, Specification and proof in membership equational logic, Functional models of neurobiological processes, Weak fibrations, Terminal coalgebras in well-founded set theory, Comonadicity and invertible bimodules, Distributive laws for the coinductive solution of recursive equations, Coalgebraic semantics for timed processes, Combining effects: sum and tensor, Elementary axioms for canonical points of toposes, Unnamed Item, Unnamed Item, Unnamed Item, Stochastic Decision Theory, Constructive complete distributivity. I, Unnamed Item, Unnamed Item, Lambek's operational categories, On the foundations of inverse monoids and inverse algebras, Unnamed Item, Toposes, Monoid Actions, and Universal Coalgebra, Unnamed Item, Unnamed Item, A formalism for the specification of essentially-algebraic structures in 2-categories, Lambek's categorical proof theory and Läuchli's abstract realizability, Compositional characterization of observable program properties, Unnamed Item, Sketches and computation – I: basic definitions and static evaluation, On the foundations of inverse monoids and inverse algebras, On the foundations of inverse monoids and inverse algebras, On the homotopy of simplicial algebras over an operad, Unnamed Item, Coproducts of Ideal Monads, Generic functional programming with types and relations, On simplicial loops and \(H\)-spaces, Sheafifiable homotopy model categories. II, What is the coalgebraic analogue of Birkhoff's variety theorem?, (Co)Homology of crossed modules, Semi-abelian categories, Unnamed Item, Unnamed Item