scientific article; zbMATH DE number 2222246
From MaRDI portal
zbMath1081.18006MaRDI QIDQ5701018
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
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, 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
