Category: Circ

Circ is the category whose objects are the natural numbers and arrows are Boolean circuits.

Facts Derived from Enrichment

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

Limits

Has all finite products

Colimits

Has an initial object

categories: Circ

This data as json

name objects_hr arrows_hr
Circ the natural numbers Boolean circuits

Links from other tables