Skip to content

Commit db77b7d

Browse files
denisecasedenisecase
committed
main
0 parents  commit db77b7d

32 files changed

Lines changed: 2766 additions & 0 deletions

‎.github/dependabot.yml‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
# .github/dependabot.yml
2+
version: 2
3+
updates:
4+
- package-ecosystem: "github-actions"
5+
directory: "/"
6+
schedule:
7+
interval: "monthly"
8+
commit-message:
9+
prefix: "ci(deps)"

‎.github/workflows/arxiv-prep.yml‎

Lines changed: 58 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,58 @@
1+
# .github/workflows/arxiv-prep.yml
2+
name: Prepare arXiv Source
3+
4+
on:
5+
workflow_dispatch:
6+
inputs:
7+
paper_dir:
8+
description: "Relative path to the paper directory (e.g., 2025_12_theory_paper)"
9+
required: true
10+
default: "2025_12_theory_paper"
11+
12+
jobs:
13+
arxiv-source:
14+
runs-on: ubuntu-latest
15+
16+
env:
17+
PAPER_DIR: ${{ github.event.inputs.paper_dir }}
18+
19+
steps:
20+
- name: Checkout repository
21+
uses: actions/checkout@v6
22+
23+
- name: Create staging directory
24+
run: |
25+
mkdir -p arxiv_src
26+
cp -R "$PAPER_DIR"/* arxiv_src/
27+
28+
- name: Remove CI- and build-specific files
29+
working-directory: arxiv_src
30+
run: |
31+
# Remove latexmk config (arXiv should manage its own build)
32+
if [ -f ".latexmkrc" ]; then
33+
rm .latexmkrc
34+
fi
35+
36+
# Remove build directory if present
37+
if [ -d "build" ]; then
38+
rm -rf build
39+
fi
40+
41+
# Remove common LaTeX auxiliary files
42+
find . -type f \( \
43+
-name "*.aux" -o -name "*.log" -o -name "*.out" -o -name "*.toc" -o\
44+
-name "*.bbl" -o -name "*.bcf" -o -name "*.blg" -o -name "*.run.xml" -o\
45+
-name "*.fls" -o -name "*.fdb_latexmk" -o -name "*.synctex.gz" \
46+
\) -delete
47+
48+
- name: Create arXiv source zip
49+
run: |
50+
cd arxiv_src
51+
zip -r ../arxiv-source.zip .
52+
53+
- name: Upload arXiv source artifact
54+
uses: actions/upload-artifact@v4
55+
with:
56+
name: arxiv-source
57+
path: arxiv-source.zip
58+
if-no-files-found: error

‎.github/workflows/build.yml‎

Lines changed: 53 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,53 @@
1+
# .github/workflows/build.yml
2+
name: Build LaTeX PDF
3+
4+
on:
5+
push:
6+
branches: [main, master]
7+
paths:
8+
- "2025_12_theory_paper/**"
9+
- ".github/workflows/build.yml"
10+
pull_request:
11+
branches: [main, master]
12+
paths:
13+
- "2025_12_theory_paper/**"
14+
- ".github/workflows/build.yml"
15+
workflow_dispatch:
16+
17+
env:
18+
PAPER_DIR: 2025_12_theory_paper
19+
MAIN_TEX: 00_cep_formal_semantics.tex
20+
21+
jobs:
22+
build-pdf:
23+
runs-on: ubuntu-latest
24+
25+
steps:
26+
- name: Checkout repository
27+
uses: actions/checkout@v6
28+
29+
- name: Install TeX Live and latexmk
30+
run: |
31+
sudo apt-get update
32+
sudo apt-get install -y \
33+
texlive-latex-recommended \
34+
texlive-latex-extra \
35+
texlive-fonts-recommended \
36+
texlive-science \
37+
texlive-pictures \
38+
texlive-bibtex-extra \
39+
latexmk
40+
41+
- name: Build PDF with latexmk
42+
working-directory: ${{ env.PAPER_DIR }}
43+
run: |
44+
latexmk -pdf -bibtex -interaction=nonstopmode -halt-on-error $MAIN_TEX
45+
46+
- name: Upload built PDF
47+
uses: actions/upload-artifact@v4
48+
with:
49+
name: cep_formal_semantics
50+
path: |
51+
${{ env.PAPER_DIR }}/build/00_cep_formal_semantics.pdf
52+
${{ env.PAPER_DIR }}/build/00_cep_formal_semantics.log
53+
if-no-files-found: error

‎.gitignore‎

Lines changed: 91 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,91 @@
1+
# ----------------------------------------
2+
# OS / Editor
3+
# ----------------------------------------
4+
# Windows
5+
Thumbs.db
6+
Desktop.ini
7+
$RECYCLE.BIN/
8+
9+
# macOS
10+
.DS_Store
11+
.AppleDouble
12+
.LSOverride
13+
14+
# VS Code
15+
.vscode/
16+
.history/
17+
18+
# Python / UV environments
19+
.venv/
20+
__pycache__/
21+
22+
# ----------------------------------------
23+
# Quarto Build Artifacts
24+
# ----------------------------------------
25+
# Auto-generated output folders
26+
*_files/
27+
*_cache/
28+
*/_freeze/
29+
.quarto/
30+
31+
# Quarto generated intermediate files
32+
*.html
33+
*.qmd.log
34+
35+
# output folders
36+
_output/
37+
docs/
38+
39+
# ----------------------------------------
40+
# LaTeX Build Artifacts
41+
# ----------------------------------------
42+
*.aux
43+
*.bbl
44+
*.bcf
45+
*.blg
46+
*.log
47+
*.out
48+
*.toc
49+
*.toc.*
50+
*.xml
51+
*.synctex.gz
52+
*.fdb_latexmk
53+
*.fls
54+
*.run.xml
55+
*.nav
56+
*.snm
57+
*.vrb
58+
*.lol
59+
60+
# Intermediate PDF artifacts
61+
*.pdf.* # e.g., main.pdf (rebuilt partials)
62+
*.pdfsync
63+
64+
# latexmk auto-generated files
65+
latexmkrc
66+
67+
# ----------------------------------------
68+
# Quarto / LaTeX intermediates
69+
# ----------------------------------------
70+
# Temporary tex files generated by Quarto
71+
*-knitr.tex
72+
*.tex.json
73+
*.tex.md
74+
75+
# ----------------------------------------
76+
# Backups & temporary editor files
77+
# ----------------------------------------
78+
*~
79+
*.swp
80+
*.swo
81+
*.tmp
82+
*.bak
83+
*.backup
84+
85+
# ----------------------------------------
86+
# Build products
87+
# Only final PDF committed
88+
# ----------------------------------------
89+
build/
90+
*.pdf
91+
!00_cep_formal_semantics.pdf

‎00_cep_formal_semantics.pdf‎

516 KB
Binary file not shown.

‎2025_12_theory_paper/.latexmkrc‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
# Send all build files into the 'build' folder
2+
$out_dir = "build";
3+
$aux_dir = "build";

‎2025_12_theory_paper/00_bib.bib‎

Lines changed: 131 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,131 @@
1+
@book{maclane1971categories,
2+
author = {Mac Lane, Saunders},
3+
title = {Categories for the Working Mathematician},
4+
publisher = {Springer},
5+
series = {Graduate Texts in Mathematics},
6+
volume = {5},
7+
year = {1971},
8+
edition = {1st},
9+
isbn = {978-0387900353}
10+
}
11+
12+
@book{maclane1998categories,
13+
author = {Mac Lane, Saunders},
14+
title = {Categories for the Working Mathematician},
15+
publisher = {Springer},
16+
series = {Graduate Texts in Mathematics},
17+
volume = {5},
18+
edition = {2nd},
19+
year = {1998},
20+
isbn = {978-0387984032}
21+
}
22+
23+
@book{awodey2010category,
24+
author = {Awodey, Steve},
25+
title = {Category Theory},
26+
publisher = {Oxford University Press},
27+
series = {Oxford Logic Guides},
28+
volume = {52},
29+
edition = {2nd},
30+
year = {2010},
31+
isbn = {978-0199237180}
32+
}
33+
34+
@book{leinster2014basic,
35+
author = {Leinster, Tom},
36+
title = {Basic Category Theory},
37+
publisher = {Cambridge University Press},
38+
year = {2014},
39+
isbn = {978-1107044241}
40+
}
41+
42+
@book{riehl2017category,
43+
author = {Riehl, Emily},
44+
title = {Category Theory in Context},
45+
publisher = {Dover Publications},
46+
year = {2017},
47+
isbn = {978-0486815386}
48+
}
49+
50+
@book{spivak2014category,
51+
author = {Spivak, David I.},
52+
title = {Category Theory for the Sciences},
53+
publisher = {MIT Press},
54+
year = {2014},
55+
isbn = {978-0262028136}
56+
}
57+
58+
@article{spivak2013functorial,
59+
author = {Spivak, David I.},
60+
title = {Functorial Data Migration},
61+
journal = {Information and Computation},
62+
volume = {217},
63+
pages = {31--51},
64+
year = {2012},
65+
doi = {10.1016/j.ic.2012.05.002}
66+
}
67+
68+
@article{fong2019seven,
69+
author = {Fong, Brendan and Spivak, David I.},
70+
title = {Seven Sketches in Compositionality: An Invitation to Applied Category Theory},
71+
journal = {arXiv preprint arXiv:1803.05316},
72+
year = {2019}
73+
}
74+
75+
@book{jacobs1999categorical,
76+
author = {Jacobs, Bart},
77+
title = {Categorical Logic and Type Theory},
78+
publisher = {Elsevier},
79+
series = {Studies in Logic and the Foundations of Mathematics},
80+
volume = {141},
81+
year = {1999},
82+
isbn = {978-0444500137}
83+
}
84+
85+
@book{adamek2006abstract,
86+
author = {Ad{\'a}mek, Ji{\v{r}}{\'i} and Herrlich, Horst and Strecker, George E.},
87+
title = {Abstract and Concrete Categories},
88+
publisher = {Dover Publications},
89+
year = {2006},
90+
note = {Originally published in 1990; freely available online}
91+
}
92+
93+
@article{goguen1992institutions,
94+
author = {Goguen, Joseph and Burstall, Rod},
95+
title = {Institutions: Abstract Model Theory for Specification and Programming},
96+
journal = {Journal of the ACM},
97+
volume = {39},
98+
number = {1},
99+
pages = {95--146},
100+
year = {1992},
101+
doi = {10.1145/147508.147524}
102+
}
103+
104+
@article{rosebrugh2001generic,
105+
author = {Rosebrugh, Robert and Wood, Richard J.},
106+
title = {Relational Databases and Indexed Categories},
107+
journal = {Theoretical Computer Science},
108+
volume = {272},
109+
number = {1--2},
110+
pages = {427--446},
111+
year = {2002}
112+
}
113+
114+
@article{johnstone2002sketches,
115+
author = {Johnstone, Peter T.},
116+
title = {Sketches of an Elephant: A Topos Theory Compendium},
117+
journal = {Bulletin of Symbolic Logic},
118+
volume = {8},
119+
number = {3},
120+
pages = {399--401},
121+
year = {2002}
122+
}
123+
124+
@misc{cep2025spec,
125+
author = {Case, Denise and Civic Interconnect Working Group},
126+
title = {Civic Exchange Protocol (CEP): Specification and Vocabulary},
127+
year = {2025},
128+
howpublished = {GitHub Repository},
129+
url = {https://github.com/civic-interconnect/civic-interconnect}
130+
}
131+

0 commit comments

Comments
 (0)