◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

J. Velebil

4 papers hereh-index 333 citations4 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • last author4

Across the 4 of 4 papers where every author was matched, so the position is known.

fields
  • math.CT4
same name
  • J. Velebil — 11 papers, h 18

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20202023
most citedA categorical view of varieties of ordered algebras

3 citations · 4 across the 3 of their papers we have counts for

collaborators

4 papers

math.CT2023

Varieties of Quantitative or Continuous Algebras (Extended Abstract)

Jiří Adámek, Matěj Dostál, Jiří Velebil

Quantitative algebras are algebras enriched in the category Met of metric spaces so that all operations are nonexpanding. Mardare, Plotkin and Panangaden introduced vari…

math.CT2023★ 1 cited

Sifted Colimits, Strongly Finitary Monads and Continuous Algebras

Jiří Adámek, Matěj Dostál, Jiří Velebil

We characterize strongly finitary monads on categories Pos, CPO and DCPO as precisely those preserving sifted colimits. Or, equivalently, enriched…

math.CT2022

Quantitative Algebras and a Classification of Metric Monads

J. Adámek, M. Dostál, J. Velebil

Quantitative algebras are Σ-algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of qua…

math.CT2020★ 3 cited

A categorical view of varieties of ordered algebras

J. Adámek, M. Dostál, J. Velebil

It is well known that classical varieties of Σ-algebras correspond bijectively to finitary monads on Set. We present an analogous result for varieties of ordered Σ-a…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.