Web export of hierarchy of GATs

AlgebraicJulia / Catlab.jl

A framework for applied category theory in the Julia language

https://www.algebraicjulia.org

MIT License

605 stars 58 forks source link

Web export of hierarchy of GATs #386

Open jpfairbanks opened 3 years ago

jpfairbanks commented 3 years ago

It would be great to pretty print a Theory with all of its inherited type/term constructors. I find myself executing the inheritance algorithm by hand when reading the source code. A SemiadditiveCategory is a MonoidalCategoryWithBidiagonalsAdditive which is a MonoidalCategoryWithCodiagonals which is a SymmetricMonoidalCategoryAdditive which is a ...

I guess we should actually take the Catlab.Theories module and generate a webpage that can have tables and hyperlinksinto a web of theories.

epatters commented 3 years ago

This would be awesome. The issue is related to #243 so I'll give it a more specific title to distinguish.