| carrierMap | Circuit.Circ, Circuit |
| Cartesian | Circuit.Bimonoid |
| cascade | Circuit.Circ, Circuit |
| cascadeBody | Circuit.Body, Circuit |
| cascadeSome | Circuit.Body, Circuit |
| Case | Circuit.Poly, Circuit |
| Cat2 | Circuit.Layer, Circuit |
| Category | Circuit.Category |
| Ch | Circuit.Poly.Channel, Circuit |
| Channel | |
| 1 (Type/Class) | Circuit.Channel |
| 2 (Type/Class) | Circuit.Poly.Channel, Circuit |
| chooseS | Circuit.Shared, Circuit |
| Circ | |
| 1 (Type/Class) | Circuit.Circ, Circuit |
| 2 (Data Constructor) | Circuit.Circ, Circuit |
| close | Circuit.Poles, Circuit |
| coabsorbL | Circuit.Tensor |
| coabsorbR | Circuit.Tensor |
| CoAffine | Circuit.Bimonoid |
| Coalgebra | |
| 1 (Type/Class) | Circuit.System |
| 2 (Data Constructor) | Circuit.System |
| coalgebraToSystem | Circuit.System |
| coassoc | Circuit.Tensor |
| coassoc' | Circuit.Tensor |
| commit | Circuit.Poles, Circuit |
| commitChannel | Circuit.Poly.Channel, Circuit |
| Comp | Circuit.Poly |
| companion | |
| 1 (Function) | Circuit.Span |
| 2 (Function) | Circuit.Poles, Circuit |
| CompAssocL | Circuit.Poly, Circuit |
| compAssocL | Circuit.Poly |
| CompAssocR | Circuit.Poly, Circuit |
| compAssocR | Circuit.Poly |
| compFinRel | Circuit.FinRel |
| Compose | |
| 1 (Data Constructor) | Circuit.Layer |
| 2 (Data Constructor) | Circuit.Poly, Circuit |
| compose | Circuit.Poles |
| compose0 | Circuit.Poles |
| composeCoalgebra | Circuit.System |
| composeOptic | Circuit.Optic |
| composeS | Circuit.Span |
| composeSomeOptic | Circuit.Optic |
| CompT | Circuit.Poly, Circuit |
| compToNested | Circuit.Poly |
| CompUnitL | Circuit.Poly, Circuit |
| CompUnitL' | Circuit.Poly, Circuit |
| compUnitorL | Circuit.Poly |
| compUnitorL' | Circuit.Poly |
| compUnitorR | Circuit.Poly |
| compUnitorR' | Circuit.Poly |
| CompUnitR | Circuit.Poly, Circuit |
| CompUnitR' | Circuit.Poly, Circuit |
| conjoint | |
| 1 (Function) | Circuit.Span |
| 2 (Function) | Circuit.Poles, Circuit |
| Cons | Circuit.Stream |
| cons | Circuit.Stream |
| consNil | Circuit.Stream |
| Const | Circuit.Poly |
| constChannel | Circuit.Poly.Channel, Circuit |
| ConstMap | Circuit.Poly, Circuit |
| Copy | Circuit.Bimonoid, Circuit |
| copy | Circuit.Bimonoid, Circuit |
| copycat | Circuit.Poles, Circuit |
| CopyDiscard | Circuit.Bimonoid, Circuit |
| copyE | Circuit.Linear, Circuit |
| CopyT | Circuit.Bimonoid |
| copyT | Circuit.Bimonoid |
| coreleaseL | Circuit.Tensor |
| coreleaseR | Circuit.Tensor |
| CoRelevant | Circuit.Bimonoid |
| coseed | Circuit.Tensor |
| Ctx | Circuit.Syntax |
| curry | Circuit.Linear, Circuit |