Index - I
| Id | Circuit.Poly, Circuit |
| id | Circuit.Category |
| idChannel | Circuit.Poly.Channel, Circuit |
| idCirc | Circuit.Circ, Circuit |
| identityOptic | Circuit.Optic |
| identityS | Circuit.Span |
| identitySomeOptic | Circuit.Optic |
| idSq | Circuit.Circ, Circuit |
| imap | Circuit.Poles |
| In | |
| 1 (Type/Class) | Circuit.Poles, Circuit |
| 2 (Data Constructor) | Circuit.Poles, Circuit |
| Inl | Circuit.Poly, Circuit |
| Inr | Circuit.Poly, Circuit |
| Intertwiner | |
| 1 (Type/Class) | Circuit.Circ, Circuit |
| 2 (Data Constructor) | Circuit.Circ, Circuit |
| introduce | Circuit.Linear, Circuit |
| invoke | Circuit.Hyper, Circuit |
| iomap | Circuit.Poles |
| isBisimulation | Circuit.Circ |
| isMark | Circuit.Process |
| isPayload | Circuit.Process |
| iterateSystem | Circuit.Process |