search

AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
23 stars 2 forks source link

ThX.Th #68

Closed olynch closed 1 year ago

olynch commented 1 year ago

In #67, we name the structs corresponding to theories by ThX.Th, i.e. ThCategory.Th, etc.

This is weird and awkward. Alternatives:

Thoughts @epatters, @jpfairbanks?

epatters commented 1 year ago

We fairly recently refactored Catlab to use the Th prefix for exported GATs, and I'd like to keep that convention. With that in mind, maybe ThCategory.T?

olynch commented 1 year ago

Sure, that sounds good to me.