different equalities in hott - SERP Analysis

https://xavierleroy.org/CdF/2018-2019/10.pdf

https://proofassistants.stackexchange.com/questions/4229/what-the-differences-between-equivalence-in-hott-and-isomorphism-in-category

https://en.wikipedia.org/wiki/Homotopy_type_theory

https://www.college-de-france.fr/en/agenda/lecture/program-demonstrate-curry-howard-correspondence-today/what-is-equality-from-leibniz-to-the-homotopic-theory-of-types

https://math.stackexchange.com/questions/3033906/in-homotopy-type-theory-is-judgemental-equality-x-equiv-y-the-same-as-a-proo

https://people.cs.nott.ac.uk/psztxa/publ/csl16.pdf

https://groupoid.moe/posts/leibniz-equality.html

https://homotopytypetheory.org/2012/11/21/on-heterogeneous-equality/

https://mathoverflow.net/questions/185996/extensionality-in-hott-versus-extensionality-in-internal-language-of-a-category

https://www.numberanalytics.com/blog/homotopy-type-theory-essentials

https://www.cmu.edu/dietrich/philosophy/hott/slides/shulman-2022-04-28.pdf

https://ncatlab.org/nlab/show/Book%2BHoTT

http://tobiasfritz.science/2014/topic1.pdf

https://amelia.how/posts/reflections-on-equality.html

http://www.chriswarbo.net/blog/2015-09-11-hott_for_dummies.html

https://home.sandiego.edu/~shulman/papers/synhott.pdf

https://www.cs.uoregon.edu/research/summerschool/summer23/_lectures/Introduction_to_HoTT_Notes.pdf

https://thehottgameguide.readthedocs.io/en/latest/0-trinitarianism/quest-4.html

https://www.euclideanspace.com/maths/discrete/types/equality/index.htm

https://philsci-archive.pitt.edu/11079/1/Identity_in_HTT_public.pdf

https://hott-uf.github.io/2022/HoTTUF_2022_paper_12.pdf

https://academic.oup.com/book/35959/chapter/310543339

https://www.youtube.com/watch?v=97twa7KgQ6k

https://arxiv.org/abs/1604.03799

https://homotopytypetheory.org/2014/03/03/hott-should-eat-itself/

https://stackoverflow.com/questions/46927295/reason-for-equality-definition-in-coq-and-hott

https://groups.google.com/g/homotopytypetheory/c/CMoXw0wrfx0/m/5nrdWoMxsosJ

http://tobiasfritz.science/2014/equality.pdf

https://sozeau.gitlabpages.inria.fr/www/research/publications/Equations_for_HoTT-HoTT19-130819.pdf

https://golem.ph.utexas.edu/category/2013/03/category_theory_in_homotopy_ty.html

https://medium.com/%40haliq12/homotopy-type-theory-hott-for-mere-mortals-8d28301a1b19

https://ncatlab.org/nlab/show/homotopy%2Btype%2Btheory

https://research.birmingham.ac.uk/en/publications/extending-homotopy-type-theory-with-strict-equality

https://www.euclideanspace.com/maths/discrete/types/hott/index.htm

https://pavpanchekha.com/blog/itt-equality.html

https://www.math.uwo.ca/faculty/kapulkin/seminars/hottest.html

https://groups.google.com/d/msgid/HomotopyTypeTheory/67E9DCCA-F9CA-45B7-9AC8-E5A7E94FE9A9%40nottingham.ac.uk

https://www.reddit.com/r/math/comments/45qqnh/what_is_homotopy_type_theory_and_what/

https://home.sandiego.edu/~shulman/papers/txst-seminar.pdf

https://news.ycombinator.com/item?id=9868781

https://www.youtube.com/watch?v=FBjz8mFXH7M

https://golem.ph.utexas.edu/category/2015/04/a_synthetic_approach_to_higher.html

https://www.reddit.com/r/haskell/comments/6nxgkc/similarities_and_differences_between_homotopy/

https://www.youtube.com/watch?v=3mn131iecvw

https://www.researchgate.net/publication/307227670_Extending_homotopy_type_theory_with_strict_equality

https://stackoverflow.com/questions/29464246/implementation-of-transitivity-of-equality-in-agda-hott

https://news.ycombinator.com/item?id=40414404

https://hott-uf.github.io/

https://www.youtube.com/watch?v=FrxkVzItMzA

https://cdn.sida.se/publications/files/-hot-issue-gender-equality-and-gender-equity.pdf

https://xenaproject.wordpress.com/2019/06/02/equality-part-3-canonical-isomorphism/

https://hot937.ca/equality/

https://github.com/HoTT/Coq-HoTT

https://hot1019.ca/equality/

https://gtr.ukri.org/projects?ref=EP%2FM016951%2F1

https://interactioninstitute.org/illustrating-equality-vs-equity/

https://www.sciencedirect.com/science/article/am/pii/S0039368121001795

https://1lab.dev/1Lab.intro.html

https://hot1013fm.com/equality/

https://openworks.wooster.edu/cgi/viewcontent.cgi?article=11271&context=independentstudy

https://link.springer.com/article/10.1007/s10516-023-09676-0

https://repository.tudelft.nl/file/File_e332766c-641b-4796-95bc-299d07ef09f9

https://www8.cs.fau.de/wp-content/uploads/media/ss17/hott/paul-talk.pdf

https://www.facebook.com/groups/CheyenneCommunityConnections/posts/9109039359118223/

https://wikimpri.dptinfo.ens-cachan.fr/lib/exe/fetch.php?media=cours:upload:2-7-2-2021-cours-hott.pdf

https://math.iisc.ac.in/~gadgil/HoTT-Course/

https://cs.ru.nl/~nweide/FiniteSetsInHoTT.pdf

https://pinkieduck.net/?p=211

https://people.cs.nott.ac.uk/psztxa/talks/away14.pdf

https://github.com/HoTT/book/issues/460

https://intro-hott.video/

https://www.cs.uoregon.edu/research/summerschool/summer14/rwh_notes/hott-book.pdf

https://younesse.net/HoTT/Lecture7/

https://www.cs.cmu.edu/~rwh/courses/hott/notes/notes_week8.pdf

https://talks.cam.ac.uk/talk/index/94090

https://math.andrej.com/wp-content/uploads/2016/06/hott-reals-cca2016.pdf

https://arxiv.org/abs/1901.08883

https://dl.acm.org/doi/pdf/10.1145/3018610.3018615

https://www.twanvl.nl/blog/hott/ttie-theory

https://x.com/Lewis_Francis_W/status/1869475533353787392

https://www.numberanalytics.com/blog/advanced-homotopy-type-theory

https://twitter.com/lewis_wanyeki/status/1873804781615018033

http://dx.doi.org/10.13140/RG.2.2.19549.42723

https://cards.algoreducation.com/en/content/BgKIctIl/homotopy-type-theory-overview

https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2016.21

https://www.quora.com/Are-liberty-and-equality-opposed-to-each-other

https://www.cambridge.org/core/books/hobbes-today/hobbesian-equality/2787EAE434FCB1CB1B473BCDC5A5D143

https://cs.ru.nl/~nweide/fsets/finitesets.html

https://www.math.uwo.ca/faculty/kapulkin/seminars/hottestfiles/Maietti-2023-04-20-HoTTEST.pdf

https://amelia.how/quick/axiom-j.html

https://medium.com/%40bblfish/modal-hott-on-the-web-2f4f7996b41f

https://www.lesswrong.com/posts/8hKoGdyqTbmBtzLpw/semi-simplicial-types-part-i-motivation-and-history

http://philomatica.org/wp-content/uploads/2024/08/hott_philo.pdf

https://philsci-archive.pitt.edu/12824/1/A.Meaning.Explanation.for.HoTT.pdf

https://pigworker.wordpress.com/2015/04/01/warming-up-to-homotopy-type-theory/

https://nyuad.nyu.edu/en/events/2024/april/homotopy-type-theory-and-computing.html

https://en.wikibooks.org/wiki/Homotopy_Type_Theory_using_the_Agda_HoTT_library/Chapter_1:_Type_Theory

https://math.andrej.com/2013/06/20/the-hott-book/

https://thehottgameguide.readthedocs.io/en/latest/0-trinitarianism/index.html