Cartesian transformations between acsets

AlgebraicJulia / Catlab.jl

A framework for applied category theory in the Julia language

https://www.algebraicjulia.org

MIT License

599 stars 56 forks source link

Closed KevinDCarlson closed 2 months ago

KevinDCarlson commented 2 months ago

You can check for cartesian morphisms now! Just go like

is_cartesian(f,[h_1,h_2])

where h_i == (name_i,src_i,tgt_i) are triples of homs in the acset schema for the domain and codomain of f.

epatters commented 2 months ago

Hey, this is great! Thanks Kevin.

CC @slwu89

slwu89 commented 2 months ago

Amazing!! Looks like there's no new actual test in the new tests though, maybe they slipped out of the last commit?

KevinDCarlson commented 2 months ago

OK, both handled.

epatters commented 2 months ago

Looks like tests are failing. Also, the docstring for is_cartesian should be updated to reflect your latest changes.

KevinDCarlson commented 2 months ago

whoops, fixed