Category: Eff

Eff is the category whose objects are sets with computable equality and arrows are computable maps.

Facts Derived from Enrichment

Eff is a closed category (enriched in itself).

Notable Subcategories


Has a terminal object


Has an initial object

categories: Eff

This data as json

name objects_hr arrows_hr
Eff sets with computable equality computable maps

Links from other tables