Source author record

Matěj Dostál

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CT

Catalog footprint

Research overview

3works

1topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

Varieties of Quantitative or Continuous Algebras (Extended Abstract)

Quantitative algebras are algebras enriched in the category $\mathsf{Met}$ of metric spaces so that all operations are nonexpanding. Mardare, Plotkin and Panangaden introduced varieties (aka $1$ -basic varieties) as classes of quantitative algebras presented by quantitative equations. We prove that they bijectively correspond to strongly finitary monads $T$ on $\mathsf{Met}$ . This means that $T$ is the Kan extension of its restriction to finite discrete spaces. An analogous result holds in the category $\mathsf{CMet}$ of complete metric spaces. Analogously, continuous algebras are algebras enriched in $\mathsf{CPO}$ , the category of $ω$ -cpos, so that all operations are continuous. We introduce equations between extended terms, and prove that varieties (classes presented by such equations) correspond bijectively to strongly finitary monads $T$ on $\mathsf{CPO}$ . This means that $T$ is the Kan extension of its restriction to finite discrete cpos. (The two results have substantially different proofs.) An analogous result is also presented for monads on $\mathsf{DCPO}$ . We also characterize strong finitarity in all the categories above by preservations of certain weighted colimits. As a byproduct we prove that directed colimits commute with finite products in all cartesian closed categories.

preprint2015arXiv

A two-dimensional Birkhoff's theorem

Birkhoff's variety theorem from universal algebra characterises equational subcategories of varieties. We give an analogue of Birkhoff's theorem in the setting of enrichment in categories. For a suitable notion of an equational subcategory we characterise these subcategories by their closure properties in the ambient algebraic category.

preprint2014arXiv

An elementary characterisation of sifted weights

Sifted colimits (those that commute with finite products in sets) play a major role in categorical universal algebra. For example, varieties of (many-sorted) algebras are precisely the free cocompletions under sifted colimits of (many-sorted) Lawvere theories. Such a characterisation does not depend on the existence of finite products in algebraic theories, but on the above fact that these products commute with sifted colimits and another condition: finite products form a sound class of limits. In this paper we study the notion of soundness for general classes of weights in enriched category theory. We show that soundness of a given class of weights is equivalent to having a `nice' characterisation of flat weights for that class. As an application, we give an elementary characterisation of sifted weights for the enrichment in categories and in preorders. We also provide a number of examples of sifted weights using our elementary criterion.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.