scientific article; zbMATH DE number 3904807

MaRDI QIDQ3682648zbMATH OpenFDO

Authors

Publication date 1985

Recommendations

scientific article; zbMATH DE number 3946418
scientific article; zbMATH DE number 922679
Triposes, q-toposes and toposes
Sets, Topoi and Intuitionism
Toposes and intuitionistic theories of types
scientific article; zbMATH DE number 3906692
Higher Topos Theory (AM-170)
On topologies in a topos
scientific article; zbMATH DE number 2154581

Cited in

(only showing first 100 items - show all)

On the construction of free algebras for equational systems
Corrigendum to ``Morita theory for coring extensions and cleft bicomodules.
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
Topos: Medieval supposition theory
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
Generalized Springer theory for D-modules on a reductive Lie algebra
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Hopf polyads
On Hopf adjunctions, Hopf monads and Frobenius-type properties
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
Fuzzy metrization of the spaces of idempotent measures
Monads and theories
On linear exactness properties
Monadic forgetful functors and (non-)presentability for \(C^\ast\)- and \(W^\ast\)-algebras
Fast left Kan extensions using the chase
Algebraic presentation of semifree monads
Hilbert's theorem 90 in monoidal categories
2-representations and associated coalgebra 1-morphisms for locally wide finitary 2-categories
On the local Cartesian closure of exact completions
Generalized Płonka sums and products
Metrization of free groups on ultrametric spaces
Functional models of neurobiological processes
The balanced tensor product of module categories
Trace semantics via determinization
Weak fibrations
Terminal coalgebras in well-founded set theory
Comonadicity and invertible bimodules
Lawvere theories enriched over a general base
Book review of: D. Yau, Colored operads
Lawvere theories, finitary monads and Cauchy-completion
Powersets of terms and composite monads
Fibrations and universal view updatability
Entwining structures in monoidal categories
Distributive laws for the coinductive solution of recursive equations
Coalgebraic semantics for timed processes
Combining effects: sum and tensor
Homotopical algebraic context over differential operators
Weak topologies on toposes
Monads for behaviour
Stone duality for spectral sheaves and the patch monad
Comonadic base change for enriched categories
The definitions of middle object and weak topos
Sheaves on involutive quantales: Grothendieck quantales.
Categories of timed stochastic relations
Quantum logic in dagger kernel categories
Coalgebraic update lenses
Computing over K-modules
Concrete process categories
Comprehension for coalgebras
Induction, coinduction, and adjoints
Paths and simulations
The category theoretic understanding of universal algebra: Lawvere theories and monads

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3682648)