Index - C
| cancellative_addition | Data.Dioid.Property |
| cancellative_multiplication | Data.Dioid.Property |
| ceiling' | Data.Connection |
| chain_22 | Data.Prd.Property |
| chain_31 | Data.Prd.Property |
| closed | Data.Connection.Property |
| closed' | Data.Connection.Property |
| codiag | Data.Connection |
| codistributive | Data.Dioid.Property |
| commutative_addition | Data.Dioid.Property |
| commutative_multiplication | Data.Dioid.Property |
| Conn | |
| 1 (Type/Class) | Data.Connection |
| 2 (Data Constructor) | Data.Connection |
| connection | Data.Connection.Property |
| connex | Data.Prd.Property |
| connl | Data.Connection |
| connr | Data.Connection |
| coreflexive | Data.Prd.Property |
| counit | Data.Connection |
| counitl | Data.Connection |
| counitr | Data.Connection |