Category: Quant

Quant is the category whose objects are quantales and arrows are suplattice maps.

Facts Derived from Enrichment

Quant is a 2-poset, a locally posetal or 2-thin 2-category (enriched in Pos).

(Quant doesn't seem to have any notable subcategories.)

Limits

Colimits

categories: Quant

This data as json

name objects_hr arrows_hr
Quant quantales suplattice maps

Links from other tables