HomeIsabelle/Phabricator
Diffusion afp-devel dd149f5a2377

metadat for StrictOmegaCategories
dd149f5a2377
Actions

Description

metadat for StrictOmegaCategories

Details

Provenance
Andreas Lochbihler <mail@andreas-lochbihler.de>Authored on
Parents
rAFPf71500561ddd: new entry StrictOmegaCategories
Branches
Unknown
Tags
Unknown

Event Timeline

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFPdd149f5a2377: metadat for StrictOmegaCategories.Jan 16 2023, 2:06 PM

Changes (33)

PathSize
bordg/
data/
help/
statistics/
topics/
mathematics/
category-theory/

rAFPdd149f5a2377

View Options

metadata/authors.toml

Loading...
View Options

metadata/entries/StrictOmegaCategories.toml

Loading...
View Options

web/authors/bordg/index.html

Loading...
View Options

web/authors/bordg/index.xml

Loading...
View Options

web/authors/index.html

Loading...
View Options

web/authors/index.json

Loading...
View Options

web/authors/mateo/index.html

Loading...
View Options

web/authors/mateo/index.xml

Loading...
View Options

web/data/keywords.json

Loading...
View Options

web/entries/StrictOmegaCategories.html

Loading...
View Options

web/entries/index.html

Loading...
View Options

web/entries/index.xml

Loading...
View Options

web/help/index.html

Loading...
View Options

web/index.html

Loading...
View Options

web/index.json

Loading...
View Options

web/index.xml

Loading...
View Options

web/sitemap.xml

Loading...
View Options

web/statistics/index.html

Loading...
View Options

web/theories/index.xml

Loading...
View Options

web/theories/strictomegacategories/index.html

Loading...
View Options

web/topics/index.html

Loading...
View Options

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

Loading...
View Options

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

Loading...
View Options

web/topics/mathematics/index.html

Loading...
View Options

web/topics/mathematics/index.xml

Loading...