algebra → category Relation

File in srcmainmodulesdedekindalgebra	Includes file in srcmainmodulesdedekindcategory
boolean.cppm	category.cppm
division.cppm	category.cppm
field.cppm	category.cppm
free.cppm	category.cppm
galois.cppm	category.cppm
group.cppm	category.cppm
halfspace_transport.cppm	category.cppm
initial_ring.cppm	category.cppm
kleene.cppm	category.cppm
magma.cppm	category.cppm
modules.cppm	category.cppm
monoid.cppm	category.cppm
ordered_algebra.cppm	category.cppm
polynomial.cppm	category.cppm
quotient.cppm	category.cppm
ring.cppm	category.cppm
tropical.cppm	category.cppm
universal.cppm	category.cppm
vectorspace.cppm	category.cppm