Diffusion afp-devel b618fced28e2

New article Bicategory
b618fced28e2
Actions

Tags

None

Subscribers

None

Description

New article Bicategory

Details

Provenance

Authored on

Parents

rAFPc2a5fad2fd66: new entry Hybrid_Logic

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFPb618fced28e2: New article Bicategory.Jan 9 2020, 6:02 PM

Changes (27)

Path

Size

metadata/

BicategoryOfSpans.thy

CanonicalIsos.thy

CategoryWithPullbacks.thy

ConcreteCategory.thy

InternalAdjunction.thy

InternalEquivalence.thy

IsomorphismClass.thy

Prebicategory.thy

Pseudofunctor.thy

SpanBicategory.thy

Subbicategory.thy

triangle_right_implies_left.png

web/

entries/

MonoidalCategory.html

rAFPb618fced28e2

metadata/metadata

Loading...

thys/Bicategory/Bicategory.thy

Loading...

thys/Bicategory/BicategoryOfSpans.thy

Loading...

thys/Bicategory/CanonicalIsos.thy

Loading...

thys/Bicategory/CategoryWithPullbacks.thy

Loading...

thys/Bicategory/Coherence.thy

Loading...

thys/Bicategory/ConcreteCategory.thy

Loading...

thys/Bicategory/InternalAdjunction.thy

Loading...

thys/Bicategory/InternalEquivalence.thy

Loading...

thys/Bicategory/IsomorphismClass.thy

Loading...

thys/Bicategory/Prebicategory.thy

Loading...

thys/Bicategory/Pseudofunctor.thy

Loading...

thys/Bicategory/ROOT

Loading...

thys/Bicategory/SpanBicategory.thy

Loading...

thys/Bicategory/Strictness.thy

Loading...

thys/Bicategory/Subbicategory.thy

Loading...

thys/Bicategory/Tabulation.thy

Loading...

thys/Bicategory/document/root.bib

Loading...

thys/Bicategory/document/root.tex

Loading...

thys/Bicategory/document/triangle_right_implies_left.png

Loading...

thys/ROOTS

Loading...

web/entries/MonoidalCategory.html

Loading...

web/index.html

Loading...

web/topics.html

Loading...