Skip to content

Actions: UniMath/SymmetryBook

Actions

Build the book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
latexmk.yml
117 workflow runs
117 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Verif in agda done Build the book #866: Commit 402b75d pushed by pierrecagne
4m 37s master
master
4m 37s
spell out pointwise operations Build the book #865: Commit 00e461c pushed by UlrikBuchholtz
4m 47s master
master
4m 47s
some progress on hom of abelian groups Build the book #864: Commit 5455258 pushed by pierrecagne
3m 51s master
master
3m 51s
Example delooping multiplication Build the book #863: Commit 2c62633 pushed by marcbezem
3m 54s master
master
3m 54s
swap and ptw correspond Build the book #862: Commit 566bcea pushed by marcbezem
4m 22s master
master
4m 22s
for discussion Build the book #861: Commit 25d1324 pushed by marcbezem
4m 47s master
master
4m 47s
elaborating Ulrik's diagram Build the book #860: Commit e2cd13f pushed by marcbezem
4m 24s master
master
4m 24s
refl' ---> rho, picture for 13-1-15 Build the book #859: Commit 07ce9eb pushed by marcbezem
3m 47s master
master
3m 47s
f=f' -> f=*f' for f,f':B->*[200~ΩA Build the book #858: Commit dd0ce50 pushed by marcbezem
4m 33s master
master
4m 33s
more polish Build the book #857: Commit dc0b565 pushed by marcbezem
4m 31s master
master
4m 31s
Merge branch 'master' of github.com:UniMath/SymmetryBook Build the book #856: Commit c8bef69 pushed by marcbezem
4m 31s master
master
4m 31s
fix bug in Thm 7.4.8 found by Jon Sterling on mathstodon Build the book #855: Commit b9bf86a pushed by UlrikBuchholtz
4m 17s master
master
4m 17s
O as functor, structural def of O(f)_pt Build the book #854: Commit 6a4715f pushed by marcbezem
4m 46s master
master
4m 46s
polish 13.1.14-19 Build the book #853: Commit 04342ef pushed by marcbezem
4m 27s master
master
4m 27s
Merge branch 'master' of github.com:UniMath/SymmetryBook Build the book #852: Commit bdd1af4 pushed by marcbezem
4m 33s master
master
4m 33s
some stuff on adjunctions (more tbd) Build the book #851: Commit 12263bf pushed by UlrikBuchholtz
4m 22s master
master
4m 22s
add cube of category concepts Build the book #850: Commit 6067572 pushed by UlrikBuchholtz
4m 24s master
master
4m 24s
decided we need a separate section on limits (still to be written) Build the book #849: Commit a86ddd7 pushed by UlrikBuchholtz
4m 29s master
master
4m 29s
add figure illustrating pullback of set bundles over the circle Build the book #848: Commit 3056077 pushed by UlrikBuchholtz
4m 32s master
master
4m 32s
Merge branch 'master' of github.com:UniMath/SymmetryBook Build the book #847: Commit 34f1965 pushed by marcbezem
4m 34s master
master
4m 34s
several things; note swap of notation for (co)induced actions Build the book #846: Commit 5377060 pushed by UlrikBuchholtz
4m 27s master
master
4m 27s
work on naturality Build the book #845: Commit 4c7128f pushed by UlrikBuchholtz
4m 23s master
master
4m 23s
minor fixes in cats Build the book #844: Commit 903dd7a pushed by UlrikBuchholtz
5m 3s master
master
5m 3s
sketched section on duality in category theory Build the book #843: Commit 7bac821 pushed by UlrikBuchholtz
4m 43s master
master
4m 43s
cats: begin remark on wilderness Build the book #842: Commit f6a924b pushed by UlrikBuchholtz
4m 16s master
master
4m 16s