corpus.blog
41,554 blogs · 5,149,205 posts Claim your blog
Record · corpus.blog/posts/01a08725-188a-724f-889d-9ab09c31fdd0

Graphs are to categories as lists are to monoids

alhassy.com · published 24 December 2018

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at alhassy.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
40
Words captured
24,526

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/alhassy/alhassy.github.io/commits/master/PathCat.org
github.com
https://github.com/alhassy/AgdaCheatSheet/blob/master/PathCat.agda
github.com
https://alhassy.github.io/CatsCheatSheet/CheatSheet.pdf
alhassy.github.io
https://alhassy.github.io/AgdaCheatSheet/CheatSheet.pdf
alhassy.github.io
https://unsplash.com/@miklevasilyev
unsplash.com
Unsplash Read at the source ↗
unsplash.com
http://relmics.mcmaster.ca/RATH-Agda/RATH-Agda-2.0.0.pdf
relmics.mcmaster.ca
http://cs.ioc.ee/~tarmo/papers/jfr14.pdf
cs.ioc.ee
https://ncatlab.org/nlab/show/principle+of+equivalence
ncatlab.org
http://www.math.harvard.edu/~mazur/preprints/when_is_one.pdf
math.harvard.edu
http://maartenfokkinga.github.io/utwente/mmf92b.pdf
maartenfokkinga.github.io
https://ncatlab.org/nlab/show/2-category
ncatlab.org
http://homotopytypetheory.org/
homotopytypetheory.org
https://books.google.ca/books/about/Categories_Allegories.html?id=fCSJRegkKdoC&printsec=frontcover&source=kp_read_button&redir_esc=y
books.google.ca
http://www.cs.utexas.edu/~EWD/ewd11xx/EWD1102.PDF
cs.utexas.edu
http://arxiv.org/abs/1302.4731
arxiv.org
http://www.cs.nott.ac.uk/~psarb2/papers/abstract.html
cs.nott.ac.uk
http://link.springer.com.libaccess.lib.mcmaster.ca/article/10.1007/s10773-004-7710-7
link.springer.com.libaccess.lib.mcmaster.ca
https://en.wikipedia.org/wiki/Identity_of_indiscernibles
en.wikipedia.org
https://www.springer.com/gp/book/9780387941158
springer.com
http://arxiv.org/PS_cache/math/pdf/0305/0305049v1.pdf
arxiv.org
http://mathoverflow.net/questions/56938/what-does-the-adjective-natural-actually-mean/56956
mathoverflow.net
http://math.stackexchange.com/questions/939404/do-natural-transformations-make-god-given-precise?rq=1
math.stackexchange.com
http://ecee.colorado.edu/ecen5533/fall11/reading/free.pdf
ecee.colorado.edu
https://www.google.ca/webhp?sourceid=chrome-instant&ion=1&espv=2&ie=UTF-8&client=ubuntu
google.ca
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.107.2336&rep=rep1&type=pdf
citeseerx.ist.psu.edu
https://www.amazon.com/Algebra-Programming-Prentice-hall-International-Computer/dp/013507245X
amazon.com
http://themattchan.com/docs/algprog.pdf
themattchan.com
https://scss.tcd.ie/publications/tech-reports/reports.99/TCD-CS-1999-74.pdf
scss.tcd.ie
http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
math.mcgill.ca
http://mathoverflow.net/a/75686/42716
mathoverflow.net
https://en.wikiquote.org/wiki/C._A._R._Hoare
en.wikiquote.org
http://playgo.to/iwtg/en/
playgo.to
http://www.cs.nott.ac.uk/~psarb2/papers/papers.html
cs.nott.ac.uk
http://www.cs.nott.ac.uk/~psarb2/MPC/galois.ps.gz
cs.nott.ac.uk
http://relmics.mcmaster.ca/RATH-Agda/AContext-2.1.pdf
relmics.mcmaster.ca
https://math.stackexchange.com/questions/1640298/coforgetful-functors
math.stackexchange.com
https://english.stackexchange.com/a/125659/327685
english.stackexchange.com
https://en.wikipedia.org/wiki/G%C3%B6del,_Escher,_Bach
en.wikipedia.org
https://www.amazon.ca/Conceptual-Mathematics-First-Introduction-Categories/dp/052171916X
amazon.ca
Elsewhere on alhassy.com (5)