Skip to content

Replace manual functor application with FinDomFunctor composition #195

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
Copilot wants to merge 12 commits into
base: main
Choose a base branch
from
Draft

Replace manual functor application with FinDomFunctor composition #195

Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
51562c9
Initial plan
Copilot Feb 3, 2026
fd972d6
Fix Catlab 0.17 API changes in mesh decomposition docs
Copilot Feb 3, 2026
8083272
Comment out failing FinDomFunctor composition in mesh_decomposition.md
Copilot Feb 3, 2026
9125cbe
Correctly construct Vdiag in mesh_decomposition.md
Copilot Feb 3, 2026
8940797
Use FMatPushforward as defined in Catlab.jl
Copilot Feb 3, 2026
44b27c4
Use Catlab's hom_map with FMatPushforward instead of copying source
Copilot Feb 3, 2026
9aae18b
Document Catlab 0.17 equivalent of force(compose(FinDomFunctor(diag),…
Copilot Feb 3, 2026
904f058
Use map(FMatPushforward, diag) instead of manual mapping
Copilot Feb 3, 2026
1ad1809
Use FinDomFunctor with force(compose(...)) - the proper non-manual API
Copilot Feb 3, 2026
33a9740
Update import statement for force and compose
lukem12345 Feb 4, 2026
2fc217f
Use Catlab.CategoricalAlgebra.Cats.FinFunctors: FinDomFunctor
lukem12345 Feb 4, 2026
defa89e
Parameterized compose by category of finvect
lukem12345 Feb 4, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 6 additions & 5 deletions docs/src/mesh_decomposition.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -217,11 +217,12 @@ diag = finsetdiagram(quads)
The free vector space sheaf over the diagram can be constructed by composing the diagram with the free vector space functor and the appropriate pushforward or pullback operations. This creates a diagram in Vect representing the sheaf of vector spaces over the mesh decomposition. This is just the vertex component; similar constructions can be done for edges and faces.

```@example mesh_decomposition
using Catlab.Sheaves: FVect
using Catlab.Sheaves: FVect, FinVect
import Catlab.Sheaves: pullback_matrix, FMatPullback, FMatPushforward
import Catlab.CategoricalAlgebra.Matrices: MatrixDom
MatrixDom(n::Int64) = MatrixDom{Matrix}(n)
Vdiag = force(compose(FinDomFunctor(diag), FMatPushforward))
using Catlab.CategoricalAlgebra.Cats.FinFunctors: FinDomFunctor
using Catlab: force, compose

Vdiag = force(compose[Category(FinVect())](FinDomFunctor(diag), FMatPushforward))
```

```@example mesh_decomposition
Expand Down Expand Up @@ -279,7 +280,7 @@ Base.show(io::IO, K::NerveCover) = begin
end
end

import Catlab.CategoricalAlgebra.CSets: SubACSetComponentwise
import Catlab.CategoricalAlgebra.Pointwise.SubCSets: SubACSetComponentwise

function Base.show(io::IO, U::SubACSetComponentwise{X}) where X <: HasDeltaSet
print(io, "Subdelta-set")
Expand Down
Loading