scientific article; zbMATH DE number 3319584

Cited in

(85)

scientific article; zbMATH DE number 2156365 (Why is no real title available?)
Universal coalgebra and categories of transition systems
An elementary approach to `algebra topology = compactness'
Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem
A characterisation of the category of compact Hausdorff spaces
When is a variety a topos ?
On coherent algebras and strict algebras
I-categories as a framework for solving domain equations
Composite variety-based topological theories
Bifold algebras and commutants for enriched algebraic theories
General affine adjunctions, Nullstellensätze, and dualities
scientific article; zbMATH DE number 436450 (Why is no real title available?)
Formal model theory and higher topology
On the relationship between algebra and analysis
scientific article; zbMATH DE number 3724665 (Why is no real title available?)
Every theory is algebraic and topologic
Algebraic theories of quasivarieties
Clones with nullary operations.
scientific article; zbMATH DE number 4077517 (Why is no real title available?)
Algebraic theory of vector-valued integration
Categorical foundations of variety-based topology and topological systems
On the Category of EQ-algebras
The diamond lemma for ring theory
Duality in analysis from the point of view of triples
(Co)Homology of crossed modules
Some aspects of homotopic algebra and non-abelian (co)homology theories
Infinite trees and completely iterative theories: A coalgebraic view
Algebraic theories and commutativity in a sheaf topos
Order-enriched solid functors.
Concrete categories and infinitary languages
On iteratable endofunctors
Varieties of chain-complete algebras
Generalized algebraic theories and contextual categories
Completely iterative algebras and completely iterative monads
Homological aspects of Lie algebra crossed modules
On algebras defined by operations and equations in a topos
Functorial implicit operations
Localizations of algebraic categories. II
Equational axioms associated with finite automata for fixed point operations in cartesian categories
Quotients, inductive types, and quotient inductive types
The syntactic side of autonomous categories enriched over generalised metric spaces
Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
scientific article; zbMATH DE number 3525361 (Why is no real title available?)
Monads and theories
On the scarcity of contravariant left adjunctions
Petri nets based on Lawvere theories
Triples and compact sheaf representation
Beth definability and the Stone-Weierstrass theorem
A unified framework for notions of algebraic theory
On absolute colimits
The fuzzy Tychonoff theorem
scientific article; zbMATH DE number 3739802 (Why is no real title available?)
Monads and distributive laws for Rota-Baxter and differential algebras
Clones, closed categories, and combinatory logic
Graded algebraic theories
Collapsed toposes and cartesian closed varieties
scientific article; zbMATH DE number 7471702 (Why is no real title available?)
Modal predicates and coequations
Pluri-adjoints and preservation of finite limits
Quasivarieties and varieties of ordered algebras: regularity and exactness
Structure and costructure for strongly regular rings
The notion of independence in categories of algebraic structures. III: Equational classes
Quantalic topological theories
Classifying categories for partial equational logic
Stream processors and comodels
Canonical automata via distributive law homomorphisms
Applied functorial semantics. I
Generalized fuzzy topology versus non-commutative topology
Homology of \((n+1)\)-types and Hopf type formulas
Metric monads
scientific article; zbMATH DE number 130895 (Why is no real title available?)
A coalgebraic view of infinite trees and iteration
scientific article; zbMATH DE number 3592216 (Why is no real title available?)
scientific article; zbMATH DE number 436447 (Why is no real title available?)
Equational completion, model induced triples and pro-objects
On the existence and exactness of the associated sheaf functor
Categories of partial equivalence relations as localizations
Finitely coordinated and finitely copresentable affine algebraic sets
scientific article; zbMATH DE number 3695431 (Why is no real title available?)
Lawvere theories enriched over a general base
Lawvere theories, finitary monads and Cauchy-completion
The fundamental pro-groupoid of an affine 2-scheme
scientific article; zbMATH DE number 5300088 (Why is no real title available?)
Coproducts of Ideal Monads
Relations in operational categories

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 Q5599205)