universal algebra - Robuta Search

https://agda-algebras.universalalgebra.org/Setoid/Varieties/Closure/ Closure - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra closure agda library https://agda-algebras.universalalgebra.org/Classical/Signatures/ Signatures - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra signatures agda library https://agda-algebras.universalalgebra.org/Setoid/Homomorphisms/Factor/ Factor - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra factor agda library https://ocw.mit.edu/courses/18-745-lie-groups-and-lie-algebras-i-fall-2020/resources/mit18_745_f20_lec12_pdf/ 18.745 F20 Lecture 12: The Universal Enveloping Algebra of a Lie Algebra | Lie Groups and Lie... MIT OpenCourseWare is a web based publication of virtually all MIT course content. OCW is open and available to the world and is a permanent MIT activity universal enveloping algebra lie groups lecture https://agda-algebras.universalalgebra.org/Legacy/Base/Structures/Products/ Products - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra products agda library https://agda-algebras.universalalgebra.org/Legacy/Base/Homomorphisms/HomomorphicImages/ HomomorphicImages - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra agda library https://agda-algebras.universalalgebra.org/Setoid/Homomorphisms/Properties/ Properties - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra properties agda library https://agda-algebras.universalalgebra.org/Examples/Structures/Signatures/ Signatures - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra signatures agda library https://agda-algebras.universalalgebra.org/Classical/Interpretations/Maltsev/ Maltsev - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra maltsev agda library https://my.vanderbilt.edu/universalalgebralogic/fall-2010-seminars/ Fall 2010 Seminars – Universal Algebra and Logic Fall 2010 Seminars. Time: Wednesday, 8 December 2010, 4:10 PM — JOINT MEETING OF THE UNIVERSAL ALGEBRA and GROUP THEORY SEMINARS Place: SC1310 Speaker: Montse... algebra and logic fall seminars universal https://agda-algebras.universalalgebra.org/Legacy/Base/Subalgebras/Properties/ Properties - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra properties agda library https://agda-algebras.universalalgebra.org/Examples/Classical/CommutativeIdempotentMagma/ CommutativeIdempotentMagma - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra agda library https://agda-algebras.universalalgebra.org/Examples/Setoid/CongruenceLattice/ CongruenceLattice - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra agda library https://agda-algebras.universalalgebra.org/Classical/Structures/CommutativeSemigroup/ CommutativeSemigroup - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra agda library https://agda-algebras.universalalgebra.org/Overture/Signatures/ Signatures - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra signatures agda library https://agda-algebras.universalalgebra.org/Setoid/Congruences/Presented/Basic/ Basic - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra basic agda library https://agda-algebras.universalalgebra.org/Legacy/Base/Terms/Properties/ Properties - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra properties agda library https://agda-algebras.universalalgebra.org/Classical/Theories/Lattice/ Lattice - The Agda Universal Algebra Library A formalization of universal algebra in dependent type theory — signatures, algebras, homomorphisms, terms, subalgebras, varieties, and a machine-checked proof... universal algebra lattice agda library https://qsms.math.snu.ac.kr/index.php?mid=board_sjXR83&listStyle=viewer&order_type=asc&l=en&sort_index=readed_count&page=7&document_srl=2275 qsms.math.snu.ac.kr - [QSMS Seminar 2022.04.19] Universal objects in vertex algebra theory vertex algebra math snu seminar universal