https://agda-algebras.universalalgebra.org/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/ 1980-01-01 https://agda-algebras.universalalgebra.org/Demos/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/ 1980-01-01 https://agda-algebras.universalalgebra.org/Exercises/ 1980-01-01 https://agda-algebras.universalalgebra.org/GITHUB_PROJECT/ 1980-01-01 https://agda-algebras.universalalgebra.org/Order/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/ 1980-01-01 https://agda-algebras.universalalgebra.org/STYLE_GUIDE/ 1980-01-01 https://agda-algebras.universalalgebra.org/SUMMARY/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/ 1980-01-01 https://agda-algebras.universalalgebra.org/agda-algebras/ 1980-01-01 https://agda-algebras.universalalgebra.org/changelog/ 1980-01-01 https://agda-algebras.universalalgebra.org/constellation/ 1980-01-01 https://agda-algebras.universalalgebra.org/contributing/ 1980-01-01 https://agda-algebras.universalalgebra.org/install/ 1980-01-01 https://agda-algebras.universalalgebra.org/site-guide/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Bundles/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Categories/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Equations/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Interpretations/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Operations/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Properties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Signatures/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Small/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Structures/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Theories/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Bundles/AbelianGroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Bundles/CommutativeMonoid/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Bundles/CommutativeRing/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Bundles/CommutativeSemigroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Bundles/DistributiveLattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Bundles/Group/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Bundles/Lattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Bundles/Magma/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Bundles/Monoid/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Bundles/Ring/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Bundles/Semigroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Bundles/Semilattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Categories/AdjoinUnit/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Categories/Forgetful/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Interpretations/Maltsev/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Properties/Lattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Signatures/Group/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Signatures/Lattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Signatures/Magma/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Signatures/Monoid/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Signatures/Ring/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Small/Structures/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Small/Structures/AbelianGroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Small/Structures/CommutativeMonoid/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Small/Structures/CommutativeRing/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Small/Structures/CommutativeSemigroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Small/Structures/DistributiveLattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Small/Structures/Group/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Small/Structures/Lattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Small/Structures/Magma/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Small/Structures/Monoid/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Small/Structures/Ring/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Small/Structures/Semigroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Small/Structures/Semilattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Structures/AbelianGroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Structures/CommutativeMonoid/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Structures/CommutativeRing/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Structures/CommutativeSemigroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Structures/DistributiveLattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Structures/Group/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Structures/Interpret/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Structures/Lattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Structures/Magma/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Structures/Monoid/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Structures/Ring/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Structures/Semigroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Structures/Semilattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Theories/AbelianGroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Theories/CommutativeMonoid/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Theories/CommutativeRing/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Theories/CommutativeSemigroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Theories/DistributiveLattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Theories/Group/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Theories/Lattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Theories/Monoid/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Theories/Ring/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Theories/Semigroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Classical/Theories/Semilattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Demos/ContraX/ 1980-01-01 https://agda-algebras.universalalgebra.org/Demos/GeneralOperationsAndRelations/ 1980-01-01 https://agda-algebras.universalalgebra.org/Demos/HSP/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/FunctionTypeBijections/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/PolynomialFunctors/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Setoid/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Structures/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/CommutativeIdempotentMagma/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/CommutativeMonoid/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/CommutativeRing/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/CommutativeSemigroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/Groups/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/Lattices/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/Magma/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/Monoid/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/Semigroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/Semilattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/Groups/AbelianGroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/Groups/CyclicGroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/Groups/CyclicGroup3/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/Groups/KleinFourGroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/Groups/SymmetricGroup3/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/Lattices/L2/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/Lattices/L2Distributive/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/Lattices/L3Heyting/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Classical/Lattices/L7/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/PolynomialFunctors/Functors/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Setoid/CongruenceLattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Setoid/FinitarySignatures/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Setoid/FiniteQuotient/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Setoid/FreeMagma/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Setoid/FreeSemigroup/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Setoid/HSPCommutativeMonoid/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Setoid/Presentation/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Setoid/SubalgebraLattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Setoid/SubgroupLattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Structures/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Examples/Structures/Signatures/ 1980-01-01 https://agda-algebras.universalalgebra.org/Exercises/Complexity/ 1980-01-01 https://agda-algebras.universalalgebra.org/Exercises/Complexity/FiniteCSP/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Adjunction/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Algebras/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Categories/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Complexity/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Equality/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Functions/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Homomorphisms/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Relations/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Subalgebras/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Terms/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Varieties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Adjunction/Closure/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Adjunction/Galois/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Adjunction/Residuation/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Algebras/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Algebras/Congruences/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Algebras/Products/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Categories/Functors/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Complexity/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Complexity/CSP/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Equality/Extensionality/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Equality/Truncation/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Equality/Welldefined/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Functions/Injective/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Functions/Inverses/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Functions/Surjective/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Functions/Transformers/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Homomorphisms/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Homomorphisms/Factor/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Homomorphisms/HomomorphicImages/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Homomorphisms/Isomorphisms/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Homomorphisms/Kernels/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Homomorphisms/Noether/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Homomorphisms/Products/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Homomorphisms/Properties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Relations/Continuous/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Relations/Discrete/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Relations/Properties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Relations/Quotients/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/Congruences/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/EquationalLogic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/Graphs/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/Homs/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/Isos/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/Products/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/Sigma/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/Substructures/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/Terms/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/Sigma/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/Sigma/Congruences/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/Sigma/Homs/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/Sigma/Isos/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/Sigma/Products/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Subalgebras/Properties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Subalgebras/Subalgebras/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Subalgebras/Subuniverses/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Terms/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Terms/Operations/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Terms/Properties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Varieties/Closure/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Varieties/EquationalLogic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Varieties/FreeAlgebras/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Varieties/Invariants/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Varieties/Preservation/ 1980-01-01 https://agda-algebras.universalalgebra.org/Legacy/Base/Varieties/Properties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Order/CompleteLattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Adjunction/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Cayley/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Functions/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Operations/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Preface/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Relations/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Signatures/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Terms/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Adjunction/Closure/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Adjunction/Galois/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Adjunction/Residuation/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Operations/Properties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Signatures/Morphisms/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Terms/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Terms/Interpretation/ 1980-01-01 https://agda-algebras.universalalgebra.org/Overture/Terms/Translation/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Algebras/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Categories/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Complexity/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Congruences/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Functions/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Homomorphisms/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Operations/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Relations/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Signatures/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Subalgebras/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Terms/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Algebras/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Algebras/Products/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Algebras/Reduct/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Categories/Adjunction/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Categories/Algebra/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Categories/Category/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Categories/FullSubcategory/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Categories/Functor/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Categories/Monad/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Categories/NaturalTransformation/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Categories/Reduct/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Complexity/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Complexity/CSP/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Congruences/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Congruences/ChainJoin/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Congruences/CompleteLattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Congruences/Generation/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Congruences/Lattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Congruences/Monolith/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Congruences/Permutability/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Congruences/Properties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Functions/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Functions/Bijective/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Functions/Injective/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Functions/Inverses/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Functions/Surjective/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Homomorphisms/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Homomorphisms/Factor/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Homomorphisms/HomomorphicImages/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Homomorphisms/Isomorphisms/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Homomorphisms/Kernels/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Homomorphisms/Noether/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Homomorphisms/Products/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Homomorphisms/Properties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Operations/Properties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Relations/Continuous/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Relations/Discrete/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Relations/Properties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Relations/Quotients/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Signatures/Functor/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Subalgebras/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Subalgebras/CompleteLattice/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Subalgebras/Properties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Subalgebras/Subdirect/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Subalgebras/Subuniverses/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Subalgebras/Subdirect/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Subalgebras/Subdirect/BirkhoffSI/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Subalgebras/Subdirect/Finite/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Subalgebras/Subdirect/Irreducible/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Terms/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Terms/Interpretation/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Terms/Monad/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Terms/Operations/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Terms/Properties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Terms/Translation/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/Closure/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/EquationalLogic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/FreeAlgebras/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/FreeSubstitution/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/HSP/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/Interpretation/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/Invariance/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/Invariants/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/Maltsev/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/Preservation/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/Properties/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/Reducts/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/SoundAndComplete/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/Maltsev/Basic/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/Maltsev/Distributivity/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/Maltsev/Modularity/ 1980-01-01 https://agda-algebras.universalalgebra.org/Setoid/Varieties/Maltsev/Permutability/ 1980-01-01 https://agda-algebras.universalalgebra.org/adr/ 1980-01-01 https://agda-algebras.universalalgebra.org/adr/000-template/ 1980-01-01 https://agda-algebras.universalalgebra.org/adr/001-setoid-as-canonical/ 1980-01-01 https://agda-algebras.universalalgebra.org/adr/002-classical-layer-design/ 1980-01-01 https://agda-algebras.universalalgebra.org/adr/003-cubical-canonical-target/ 1980-01-01 https://agda-algebras.universalalgebra.org/adr/004-lagda-md-canonical/ 1980-01-01 https://agda-algebras.universalalgebra.org/adr/005-universe-level-variable-scope/ 1980-01-01 https://agda-algebras.universalalgebra.org/adr/006-signature-morphism-category/ 1980-01-01 https://agda-algebras.universalalgebra.org/adr/007-mkdocs-rendering-pipeline/ 1980-01-01