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.)


Has all finite products


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