Finitary sketches

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

ADÁMEK J. JOHNSTONE P.T. MAKOWSKY J.M. ROSICKÝ J.

Year of publication 1997
Type Article in Periodical
Magazine / Source Journal of Symbolic Logic
MU Faculty or unit

Faculty of Science

Citation
Field General mathematics
Description Finitary sketches are proved to be as strong as geometric sketches. Categories sketchable by such sketches are fully characterized in the infinitary first-order logic: they are axiomatizable by coherent theories. The latter result is absolute; the equivalence of geometric and finitary sketches requires (in fact, is equivalent to) the non-existence of measurable cardinals.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.