Diffusion afp-devel c9ed46c09de9

CZH: dagger monoidal categories
c9ed46c09de9
Actions

Tags

None

Subscribers

None

Description

CZH: dagger monoidal categories

Details

Provenance

user9716869 <user9716869@gmail.com>

Authored on

Parents

rAFP6c0f80edb761: update it Isabelle/925b46043b84

Branches

Unknown

Tags

Unknown

Event Timeline

user9716869 <user9716869@gmail.com> committed rAFPc9ed46c09de9: CZH: dagger monoidal categories.Nov 7 2021, 6:11 PM

Changes (6)

Path

Size

thys/

CZH_Elementary_Categories/

czh_ecategories/

CZH_ECAT_Rel.thy

CZH_ECAT_Set.thy

CZH_ECAT_Structure_Example.thy

document/

CZH_Foundations/

czh_digraphs/

czh_semicategories/

CZH_SMC_Rel.thy

rAFPc9ed46c09de9

thys/CZH_Elementary_Categories/czh_ecategories/CZH_ECAT_Rel.thy

Loading...

thys/CZH_Elementary_Categories/czh_ecategories/CZH_ECAT_Set.thy

Loading...

thys/CZH_Elementary_Categories/czh_ecategories/CZH_ECAT_Structure_Example.thy

Loading...

thys/CZH_Elementary_Categories/document/root.bib

Loading...

thys/CZH_Foundations/czh_digraphs/CZH_DG_Rel.thy

Loading...

thys/CZH_Foundations/czh_semicategories/CZH_SMC_Rel.thy

Loading...