net.categoricaldata

universalalgebra

package universalalgebra

Visibility
  1. Public
  2. All

Type Members

  1. trait Coequalizers extends AnyRef

  2. trait CoequalizersAreQuotients extends Coequalizers

  3. trait Colimits extends Diagrams

  4. trait Coproducts extends AnyRef

  5. trait Diagrams extends AnyRef

  6. trait Equalizers extends AnyRef

  7. trait EqualizersAreSubs extends Equalizers

  8. trait InitialObject extends AnyRef

  9. trait Limits extends Diagrams

  10. trait Products extends AnyRef

  11. trait TerminalObject extends AnyRef

Value Members

  1. def ???: Nothing

    Definition Classes
    package
  2. object Colimits extends AnyRef

  3. object Limits extends AnyRef