scientific article; zbMATH DE number 2222246

No author found.

Publication date: 2 November 2005

Full work available at URL: http://www.emis.de/journals/TAC/reprints/articles/12/tr12abs.html

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

Categorical logic, topoi (03G30) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Research exposition (monographs, survey articles) pertaining to category theory (18-02)

Related Items (55)

On the notion of bimodel for functorial semantics ⋮ Quillen-Segal algebras and Stable homotopy theory ⋮ Unnamed Item ⋮ Difference Galois theory and dynamics ⋮ On the tensor product of modules over skew monoidal categories ⋮ Unnamed Item ⋮ Which weakly ramified group actions admit a universal formal deformation? ⋮ Regularity of the category of Kelley spaces ⋮ Weak ideal topology in the topos of right acts over a monoid ⋮ Restricted Lie algebras via monadic decomposition ⋮ Functional distribution monads in functional-analytic contexts ⋮ Martin-Löf complexes ⋮ Algebraic exponentiation in general categories ⋮ Liftings of normal functors in the category of compacta to categories of topological algebra and analysis ⋮ Algebraic geometry over algebraic structures. II: Foundations ⋮ On the dependent product in toposes ⋮ A note on a free group. The decomposition of a free group functor through the category of heaps ⋮ A Künneth theorem for configuration spaces ⋮ Slack Hopf monads ⋮ Algebras versus coalgebras ⋮ CHAD for expressive total languages ⋮ Representation of fuzzy subsets by Galois connections ⋮ Milnor-Moore categories and monadic decomposition ⋮ El irrazonable poder definitorio de las adjunciones ⋮ Operads within monoidal pseudo algebras ⋮ Algebraic geometry over algebraic structures. VI: Geometrical equivalence ⋮ Unnamed Item ⋮ Idempotent convexity and algebras for the capacity monad and its submonads ⋮ On lifting of biadjoints and lax algebras ⋮ Equivalences between categories of modules and categories of comodules. ⋮ Weak bimonoids in duoidal categories ⋮ Semidirect products and split short five lemma in normal categories ⋮ Operads and Phylogenetic Trees ⋮ Pseudo-Kan Extensions and Descent Theory ⋮ Rigidification of homotopy algebras over finite product sketches ⋮ Hopf monads on monoidal categories ⋮ Weak bimonads and weak Hopf monads ⋮ Towards Effects in Mathematical Operational Semantics ⋮ Isomorphism theorems for coalgebras ⋮ Functorial data migration ⋮ Props in Network Theory ⋮ A computer-verified monadic functional implementation of the integral ⋮ Cartesian double theories: a double-categorical framework for categorical doctrines ⋮ Descent of Hilbert \(C^*\)-modules ⋮ Spaces of max-min measures on compact Hausdorff spaces ⋮ Monads and comonads on module categories ⋮ On the category of props ⋮ A categorical foundation for Bayesian probability ⋮ A note on equivariantization of additive categories and triangulated categories ⋮ Adjoints and monads related to compact lattices and compact Lawson idempotent semimodules ⋮ On the algebraic structure of declarative programming languages ⋮ Permutative categories, multicategories and algebraic \(K\)-theory ⋮ Quantum group gauge theory on quantum spaces ⋮ Semantic factorization and descent ⋮ Rewriting in Gray categories with applications to coherence

This page was built for publication: