Diffusion afp-devel e61c279dcb0b

New entry OmegaCatoidsQuantales
e61c279dcb0b
Actions

Tags

None

Subscribers

None

Description

New entry OmegaCatoidsQuantales

Details

Provenance

Authored on

Parents

rAFPf0b3e362b192: New submission Region_Quadtrees

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFPe61c279dcb0b: New entry OmegaCatoidsQuantales.Feb 1 2024, 8:17 AM

Changes (52)

Path

Size

OmegaCatoidsQuantales.toml

OmegaCatoidsQuantales

Omega_Catoid.thy

Omega_Catoid_Lifting.thy

Omega_Kleene_Algebra.thy

Omega_Quantale.thy

Two_Catoid_Collapse.thy

Two_Catoid_Lifting.thy

Two_Kleene_Algebra.thy

Two_Quantale.thy

authors/

calk/

struth/

data/

Approximation_Algorithms.html

OmegaCatoidsQuantales.html

omegacatoidsquantales

statistics/

topics/

mathematics/

algebra/

category-theory/

rAFPe61c279dcb0b

metadata/entries/OmegaCatoidsQuantales.toml

Loading...

thys/OmegaCatoidsQuantales/Omega_Catoid.thy

Loading...

thys/OmegaCatoidsQuantales/Omega_Catoid_Lifting.thy

Loading...

thys/OmegaCatoidsQuantales/Omega_Kleene_Algebra.thy

Loading...

thys/OmegaCatoidsQuantales/Omega_Quantale.thy

Loading...

thys/OmegaCatoidsQuantales/ROOT

Loading...

thys/OmegaCatoidsQuantales/Two_Catoid.thy

Loading...

thys/OmegaCatoidsQuantales/Two_Catoid_Collapse.thy

Loading...

thys/OmegaCatoidsQuantales/Two_Catoid_Lifting.thy

Loading...

thys/OmegaCatoidsQuantales/Two_Kleene_Algebra.thy

Loading...

thys/OmegaCatoidsQuantales/Two_Quantale.thy

Loading...

thys/OmegaCatoidsQuantales/document/root.bib

Loading...

thys/OmegaCatoidsQuantales/document/root.tex

Loading...

thys/ROOTS

Loading...

web/authors/calk/index.html

Loading...

web/authors/calk/index.xml

Loading...

web/authors/struth/index.html

Loading...

web/authors/struth/index.xml

Loading...

web/data/keywords.json

Loading...

web/dependencies/catoids/index.html

Loading...

web/dependencies/catoids/index.xml

Loading...

web/dependencies/index.html

Loading...

web/dependencies/index.json

Loading...

web/entries/Approximation_Algorithms.html

Loading...

web/entries/Catoids.html

Loading...

web/entries/OmegaCatoidsQuantales.html

Loading...

web/entries/index.html

Loading...

web/entries/index.xml

Loading...

web/index.html

Loading...

web/index.json

Loading...

web/index.xml

Loading...

web/sessions/index.xml

Loading...

web/sessions/omegacatoidsquantales/index.html

Loading...

web/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/topics/index.html

Loading...

web/topics/mathematics/algebra/index.html

Loading...

web/topics/mathematics/algebra/index.xml

Loading...

web/topics/mathematics/category-theory/index.html

Loading...

web/topics/mathematics/category-theory/index.xml

Loading...

web/topics/mathematics/index.xml

Loading...