Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.
;; (find-sh "cd ~/books/ && find * | sort")
;; (find-sh "cd ~/books/__cats/ && find * | sort")

;; «.arbibmanes»		(to "arbibmanes")
;; «.arndt»			(to "arndt")
;; «.aspertilongo»		(to "aspertilongo")
;; «.awodey»			(to "awodey")
;; «.avery»			(to "avery")
;; «.barr»			(to "barr")
;; «.barr-wells»		(to "barr-wells")
;; «.bell»			(to "bell")
;; «.borceux»			(to "borceux")
;; «.brown»			(to "brown")
;; «.crosilla»			(to "crosilla")
;; «.diaconescu»		(to "diaconescu")
;; «.dosen»			(to "dosen")
;; «.eilenberg-steenrod»	(to "eilenberg-steenrod")
;; «.freyd»			(to "freyd")
;; «.freyd-scedrov»		(to "freyd-scedrov")
;; «.gabriel-zisman»		(to "gabriel-zisman")
;; «.goldblatt»			(to "goldblatt")
;; «.jacobs»			(to "jacobs")
;; «.johnstone»			(to "johnstone")
;; «.johnstone-elephant»	(to "johnstone-elephant")
;; «.kromer»			(to "kromer")
;; «.lambek»			(to "lambek")
;; «.lambek-scott»		(to "lambek-scott")
;; «.lavendhomme»		(to "lavendhomme")
;; «.lawvere»			(to "lawvere")
;; «.maclane»			(to "maclane")
;; «.marquis»			(to "marquis")
;; «.mclarty»			(to "mclarty")
;; «.moerdijk»			(to "moerdijk")
;; «.pedicchio»			(to "pedicchio")
;; «.pierce»			(to "pierce")
;; «.power»			(to "power")
;; «.pym-ritter»		(to "pym-ritter")
;; «.reyes»			(to "reyes")
;; «.riehl»			(to "riehl")
;; «.smith»			(to "smith")
;; «.taylor»			(to "taylor")
;; «.tennison»			(to "tennison")
;; «.van_oosten»		(to "van_oosten")
;; «.vickers»			(to "vickers")

;; «.slnm0274»			(to "slnm0274")
;; «.slnm0753»			(to "slnm0753")
;; «.fourman»			(to "fourman")
;; «.slnm1348»			(to "slnm1348")
;; «.slnm1448»			(to "slnm1448")
;; «.slnm1915»			(to "slnm1915")



;; «arbibmanes»  (to ".arbibmanes")
;; http://gigapedia.com/items/110329/arrows--structures--and-functors--the-categorical-imperative
(code-djvu "arbibmanes" "~/books/__cats/arbib_manes__arrows_structures_and_functors_the_categorical_imperative.djvu")
;; (find-arbibmanespage        1  "Contents")
;; (find-arbibmanespage (+ 5 178) "Index")


;; «arndt» (to ".arndt")
;; Peter Arndt: "Finitude em topos"
(code-xpdf     "arndt" "~/books/__cats/arndt__finitude_em_topos.pdf")
(code-pdf-text "arndt" "~/books/__cats/arndt__finitude_em_topos.pdf")
;; (find-arndtpage)
;; (find-arndtpage 25)
;; (find-arndttext)



;; «aspertilongo»  (to ".aspertilongo")
;; http://gigapedia.com/items/29044/categories--types--and-structures---an-introduction-to-category-theory-for-the-working-computer-scientist--foundations-of-computing-series-
(code-xpdf "aspertilongo" "~/books/__cats/asperti_longo__categories_types_and_structures.pdf")
;; (find-aspertilongopage      5  "Contents")
;; (find-aspertilongopage (+ 1 1) "Index")

;; «awodey»  (to ".awodey")
;; (find-angg ".emacs.papers" "awodey")
;; (find-books "__cats/__cats.el" "awodey")
;; (find-twusfile "tmp/2016-optativa/")
;; http://gigapedia.org/items/64466/category-theory--oxford-logic-guides-
;; Steve Awodey: "Category Theory" (book)
(code-xpdf      "awodeyct" "~/books/__cats/awodey__category_theory.pdf")
(code-pdftotext "awodeyct" "~/books/__cats/awodey__category_theory.pdf" 10)
;; (find-awodeyctpage         7  "Contents")
;; (find-awodeycttext         7  "CONTENTS")
;; (find-awodeyctpage (+ 10 251) "Index")
;; (find-awodeycttext          "  INDEX\n")
;; (find-awodeyctpage (+ 10   1) "1 Categories")
;; (find-awodeyctpage (+ 10   1) "1.1 Introduction")
;; (find-awodeyctpage (+ 10   3) "1.2 Functions of sets")
;; (find-awodeyctpage (+ 10   4) "1.3 Definition of a category")
;; (find-awodeyctpage (+ 10   5) "1.4 Examples of categories")
;; (find-awodeyctpage (+ 10  11) "1.5 Isomorphisms")
;; (find-awodeyctpage (+ 10  13) "1.6 Constructions on categories")
;; (find-awodeyctpage (+ 10  16) "1.7 Free categories")
;; (find-awodeyctpage (+ 10  21) "1.8 Foundations: large, small, and locally small")
;; (find-awodeyctpage (+ 10  23) "1.9 Exercises")
;; (find-awodeyctpage (+ 10  25) "2 Abstract structures")
;; (find-awodeyctpage (+ 10  25) "2.1 Epis and monos")
;; (find-awodeyctpage (+ 10  28) "2.2 Initial and terminal objects")
;; (find-awodeyctpage (+ 10  29) "2.3 Generalized elements")
;; (find-awodeyctpage (+ 10  33) "2.4 Sections and retractions")
;; (find-awodeyctpage (+ 10  34) "2.5 Products")
;; (find-awodeyctpage (+ 10  36) "2.6 Examples of products")
;; (find-awodeyctpage (+ 10  41) "2.7 Categories with products")
;; (find-awodeyctpage (+ 10  42) "2.8 Hom-sets")
;; (find-awodeyctpage (+ 10  45) "2.9 Exercises")
;; (find-awodeycttext (+ 10  45) "2.9 Exercises")
;; (find-awodeyctpage (+ 10  47) "3 DUALITY")
;; (find-awodeyctpage (+ 10  47) "3.1 The duality principle")
;; (find-awodeycttext (+ 10  47) "3.1 The duality principle")
;; (find-awodeyctpage (+ 10  65) "4.1 Groups in a category")
;; (find-awodeycttext (+ 10  65) "4.1 Groups in a category")
;; (find-awodeyctpage (+ 10 113) "6.3 Heyting algebras")
;; (find-awodeycttext (+ 10 113) "6.3 Heyting algebras")
;; (find-awodeyctpage (+ 10 119) "6.5 lambda-calculus")
;; (find-awodeycttext          "\n6.5"     "-calculus")
;; (find-awodeyctpage (+ 10 127) "7.2 Representable structure")
;; (find-awodeycttext          "\n7.2 Representable structure")
;; (find-awodeyctpage (+ 10 131) "7.3 Stone Duality")
;; (find-awodeycttext          "\n7.3 Stone Duality")
;; (find-awodeyctpage (+ 10 160) "8.2 The Yoneda embedding")
;; (find-awodeycttext          "\n8.2 The Yoneda embedding")
;; (find-awodeyctpage (+ 10 162) "8.3 The Yoneda Lemma")
;; (find-awodeycttext          "\n8.3 The Yoneda Lemma")
;; (find-awodeyctpage (+ 10 159) "8 Categories of Diagrams")
;; (find-awodeycttext          "\n8 Categories of Diagrams")
;; (find-awodeyctpage (+ 10 176) "U = {x \\in E | ux = true}")
;; (find-awodeycttext                        "E | ux = true")
;; (find-awodeyctpage (+ 10 193) "9.5. Quantifiers as adjoints")
;; (find-awodeyctpage (+ 10 193) "9.6. RAPL")
;; (find-awodeyctpage (+ 10 201) "(left and right) Kan extensions")
;; (find-awodeyctpage (+ 10 223) "10" "  MONADS AND ALGEBRAS")
;; (find-awodeycttext            "10" "  MONADS AND ALGEBRAS")
;; (find-awodeyctpage (+ 10 235) "S5")
;; (find-awodeycttext            "S5")
;; (find-awodeyctpage (+ 10 239) "Lemma 10.10.(Lambek).")
;; (find-awodeycttext            "Lemma 10.10.(Lambek).")
;; (find-awodeyctpage (+ 10 239) "Example 10.11. 1. For the polynomial functor")
;; (find-awodeycttext            "Example 10.11. 1. For the polynomial functor")
;; (find-awodeycttext)


;; «avery» (to ".avery")
;; Tom Avery: Structure and Semantics
;; https://arxiv.org/abs/1708.01050
;; https://arxiv.org/pdf/1708.01050.pdf



;; «barr»  (to ".barr")
;; (find-angg ".emacs.papers" "barr")
;; http://www.math.mcgill.ca/barr/
;; Michael Barr: "*-Autonomous Categories" (SLNM 752)
(code-djvu "starautcats" "~/books/__cats/barr__star_autonomous_cats.djvu")
;; (find-starautcatspage        4  "Table of Contents")
;; (find-starautcatspage (+ 5   1) "Chapter I. Preliminaries")
;; (find-starautcatspage (+ 5 101) "Bibliography")
;; (find-starautcatspage (+ 5 138) "Index of Definitions")
;; (find-starautcatspage (+ 5 139) "Index of Notation")

;; «barr-wells»  (to ".barr-wells")
;; (find-books "__cats/__cats.el" "barr-wells")
;; http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
;; (find-fline "$S/http/www.math.mcgill.ca/triples/")
(code-xpdf     "barrwellsctcs" "$S/http/www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf")
(code-pdf-text "barrwellsctcs" "$S/http/www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf" 18)
;; (find-barrwellsctcspage)
;; (find-barrwellsctcspage 7 "Contents")
;; (find-barrwellsctcstext 7 "Contents")
;; (find-barrwellsctcspage (+ 18   1) "1. Preliminaries")
;; (find-barrwellsctcstext (+ 18   1)    "Preliminaries")
;; (find-barrwellsctcspage (+ 18 195) "6 Cartesian closed categories")
;; (find-barrwellsctcspage (+ 18 195) "6.1 Cartesian closed categories")
;; (find-barrwellsctcspage (+ 18 202) "6.2 Properties of cartesian closed categories")
;; (find-barrwellsctcspage (+ 18 208) "6.3 Typed -calculus")
;; (find-barrwellsctcspage (+ 18 210) "6.4 -calculus to category and back")
;; (find-barrwellsctcspage (+ 18 212) "6.5 Arrows vs. terms")
;; (find-barrwellsctcspage (+ 18 215) "6.6 Fixed points in cartesian closed categories")
;; (find-barrwellsctcspage (+ 18 531) "Index")
;; (find-barrwellsctcstext)

;; Old:
;; http://www.cwru.edu/artsci/math/wells/home.html
;; http://www.abstractmath.org/MM/MMIntro.htm
;; http://sixwingedseraph.wordpress.com/
;; http://www.abstractmath.org/Handbook/handbook.pdf
;; http://www.abstractmath.org/MM/dm.pdf
;; Barr/Wells: "Category Theory for Computing Science"
;; (code-djvu       "barrwellsctcs" "~/books/__cats/barr_wells__category_theory_for_computing_science.djvu")
;; (code-djvutotext "barrwellsctcs" "~/books/__cats/barr_wells__category_theory_for_computing_science.djvu")



;; «bell»  (to ".bell")
;; (find-books "__cats/__cats.el" "bell")
(code-xpdf      "bellsia" "~/books/__cats/bell__a_primer_of_infinitesimal_analysis.pdf")
(code-pdftotext "bellsia" "~/books/__cats/bell__a_primer_of_infinitesimal_analysis.pdf")
(code-pdf       "bellt"   "~/books/__cats/bell__toposes_and_local_set_theories.pdf")
(code-pdftotext "bellt"   "~/books/__cats/bell__toposes_and_local_set_theories.pdf" 14)
;; (find-bellsiapage         9  "Contents")
;; (find-bellsiapage (+ 14 123) "Index")
;; (find-bellsiatext "")

;; (find-belltpage)
;; (find-belltpage        13  "Contents")
;; (find-belltpage (+ 14   1) "1. Elements of Category Theory")
;; (find-belltpage (+ 14  49) "2. Introducing Toposes")
;; (find-belltpage (+ 14  68) "3. Local Set Theories")
;; (find-belltpage (+ 14  72)    "|-_S")
;; (find-belltpage (+ 14 120) "4. Fundamental Properties of Toposes")
;; (find-belltpage (+ 14 162) "5. From Logic to Sheaves")
;; (find-belltpage (+ 14 162)    "truth-set")
;; (find-belltpage (+ 14 163)    "modality")
;; (find-belltpage (+ 14 164)    "universal closure operation")
;; (find-belltpage (+ 14 168)    "examples of modalities")
;; (find-belltpage (+ 14 169)    "stricter and laxer")
;; (find-belltpage (+ 14 170)    "meet and join")
;; (find-belltpage (+ 14 170)    "Exercises")
;; (find-belltpage (+ 14 171)    "closed")
;; (find-belltpage (+ 14 171)    "dense")
;; (find-belltpage (+ 14 171)    "non-not is the laxest modality")
;; (find-belltpage (+ 14 171)    "separated")
;; (find-belltpage (+ 14 202) "6. Locale-Valued Sets")
;; (find-belltpage (+ 14 220) "7. Natural Numbers and Real Numbers")
;; (find-belltpage (+ 14 235) "8. Epilogue: The Wider Significance of Topos Theory")
;; (find-belltpage (+ 14 264) "Index")
;; (find-bellttext "")


;; «borceux»  (to ".borceux")
;; (find-LATEX "catsem.bib" "bib-BorceuxIII")
;; http://gigapedia.com/items/41231/handbook-of-categorical-algebra--volume-1---encyclopedia-of-mathematics-and-its-applications-
;; http://gigapedia.com/items/67448/handbook-of-categorical-algebra--volume-2--encyclopedia-of-mathematics-and-its-applications-
;; http://gigapedia.org/items/108708/handbook-of-categorical-algebra--volume-3--sheaf-theory--encyclopedia-of-mathematics-and-its-applications-
;; http://gigapedia.com/items/46856/galois-theories--cambridge-studies-in-advanced-mathematics-
(code-djvu       "borceux1" "~/books/__cats/borceux__handbook_of_categorical_algebra_1.djvu")
(code-djvutotext "borceux1" "~/books/__cats/borceux__handbook_of_categorical_algebra_1.djvu")
(code-djvu       "borceux2" "~/books/__cats/borceux__handbook_of_categorical_algebra_2.djvu")
(code-djvutotext "borceux2" "~/books/__cats/borceux__handbook_of_categorical_algebra_2.djvu")
(code-djvu       "borceux3" "~/books/__cats/borceux__handbook_of_categorical_algebra_3.djvu")
(code-djvutotext "borceux3" "~/books/__cats/borceux__handbook_of_categorical_algebra_3.djvu")
(code-djvu "borceuxjanelidzegt" "~/books/__cats/borceux_janelidze__galois_theories.djvu")
;; (find-borceux1page         5  "Contents")
;; (find-borceux1page (+ 13 122) "3.7 Kan extensions")
;; (find-borceux1page (+ 13 176) "5 Categories of Fractions")
;; (find-borceux1page (+ 13 181) "5.2 Calculus of Fractions")
;; (find-borceux1page (+ 13 190) "5.3 Reflective subcategories as categories of fractions")
;; (find-borceux1page (+ 13 343) "Index")
;; (find-borceux1text            "")
;; (find-borceux2page         5  "Contents")
;; (find-borceux2page (+ 13  13x) "1.4 Abelian Categories")
;; (find-borceux2page (+ 13  21) "1.6 Additivity of Abelian Categories")
;; (find-borceux2page (+ 13  34) "1.9 Diagram Chasing")
;; (find-borceux2page (+ 13  40) "1.10 Some Diagram Lemmas")
;; (find-borceux2page (+ 13  89) "2 Regular Categories")
;; (find-borceux2page (+ 13 212) "4.4 Characterization of monadic categories")
;; (find-borceux2page (+ 13 412) "8.6 Locally small fibrations")
;; (find-borceux2page (+ 13 439) "Index")
;; (find-borceux3page         5  "Contents")
;; (find-borceux3page (+ 13  70) "1.9 Sober spaces")
;; (find-borceux3page (+ 13 113) "2.5 The stalks of a topological sheaf")
;; (find-borceux3page (+ 13 514) "Bibliography")
;; (find-borceux3page (+ 13 517) "Index")
;; (find-borceux3text "")
;; (find-borceuxjanelidzegtpage         4  "Contents")
;; (find-borceuxjanelidzegtpage (+ 12 338) "Index")


;; «brown» (to ".brown")
;; (find-books "__cats/__cats.el" "brown")
;; https://groupoids.org.uk/publar.html
;; (find-fline "$S/https/groupoids.org.uk/pdffiles/")
(code-xpdf     "brownac" "$S/https/groupoids.org.uk/pdffiles/Analogy-and-Comparison.pdf")
(code-pdf-text "brownac" "$S/https/groupoids.org.uk/pdffiles/Analogy-and-Comparison.pdf")
(code-xpdf     "brownem" "$S/https/groupoids.org.uk/pdffiles/eureka-meth1.pdf")
(code-pdf-text "brownem" "$S/https/groupoids.org.uk/pdffiles/eureka-meth1.pdf")
;; (find-brownempage)
;; (find-brownemtext)
;; (find-brownacpage)
;; (find-brownactext)


;; «crosilla»  (to ".crosilla")
;; http://gigapedia.com/items/59403/from-sets-and-types-to-topology-and-analysis--towards-practicable-foundations-for-constructive-mathematics--oxford-logic-guides-
(code-xpdf      "fromsetsandtypes" "~/books/__cats/crosilla_schuster_eds__from_sets_and_types_to_topology_and_analysis.pdf")
(code-pdftotext "fromsetsandtypes" "~/books/__cats/crosilla_schuster_eds__from_sets_and_types_to_topology_and_analysis.pdf")
;; (find-fromsetsandtypespage        12  "Contents")
;; (find-fromsetsandtypespage (+ 21 335) "Index")
;; (find-fromsetsandtypestext)

;; «diaconescu»  (to ".diaconescu")
;; http://www.imar.ro/~diacon/
;; http://gigapedia.com/items/135665/institution-independent-model-theory--studies-in-universal-logic-
(code-xpdf      "diaconescu" "~/books/__cats/diaconescu__institution-independent_model_theory.pdf")
(code-pdftotext "diaconescu" "~/books/__cats/diaconescu__institution-independent_model_theory.pdf")
;; (find-diaconescupage        9  "Contents")
;; (find-diaconescupage (+ 10 23) "3. Institutions")
;; (find-diaconescupage (+ 10 48) "4. Theories and Models")
;; (find-diaconescupage (+ 1 368) "Index")
;; (find-diaconescutext (+ 1 1) "Index")


;; «dosen»  (to ".dosen")
;; http://www.mi.sanu.ac.yu/~kosta/publications.htm
;; http://gigapedia.org/items/133482/cut-elimination-in-categories--trends-in-logic-
;; http://gigapedia.org/items/102883/proof-theoretical-coherence--studies-in-logic--logic--amp--cognitive-systems--
;; http://gigapedia.com/items/102885/proof-net-categories
;; http://article.gmane.org/gmane.science.mathematics.categories/5203
(code-ps        "dosenceic" "~/books/__cats/dosen__cut_elimination_in_categories.pdf")
(code-xpdf      "dosenceic" "~/books/__cats/dosen__cut_elimination_in_categories.pdf")
(code-pdftotext "dosenceic" "~/books/__cats/dosen__cut_elimination_in_categories.pdf")
(code-ps        "dosenptc"  "~/books/__cats/dosen_petric__proof-theoretical_coherence.pdf")
(code-xpdf      "dosenptc"  "~/books/__cats/dosen_petric__proof-theoretical_coherence.pdf")
(code-pdftotext "dosenptc"  "~/books/__cats/dosen_petric__proof-theoretical_coherence.pdf")
(code-xpdf      "proofnetcats" "~/books/__cats/dosen_petric__proof-net_categories.pdf")
(code-pdftotext "proofnetcats" "~/books/__cats/dosen_petric__proof-net_categories.pdf")
;; (find-dosenceicpage 1)
;; (find-dosenceicpage 102 "Chapter 4" "Adjunctions")
;; (find-dosenceicpage 152 "4.7. Rectangular \\ adjunctions")
;; (find-dosenceictext)
;; (find-dosenptcpage 1)
;; (find-dosenptctext)
;; (find-proofnetcatspage        5  "Contents")
;; (find-proofnetcatspage (+ 6 132) "Index")
;; (find-proofnetcatstext)

;; «eilenberg-steenrod»  (to ".eilenberg-steenrod")
(code-djvu       "eilenbergsteenrod" "~/books/__cats/eilenberg_steenrod__foundations_of_algebraic_topology.djvu")
(code-djvutotext "eilenbergsteenrod" "~/books/__cats/eilenberg_steenrod__foundations_of_algebraic_topology.djvu")
;; (find-eilenbergsteenrodpage      1  "Contents")
;; (find-eilenbergsteenrodpage (+ 1 1) "Index")
;; (find-eilenbergsteenrodtext "")

;; «freyd» (to ".freyd")
;; https://ncatlab.org/spahn/files/aspects_of_topoi.pdf
;; https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S0004972700045408
;; (find-fline "$S/https/ncatlab.org/spahn/files/")
(code-xpdf     "freydat" "$S/https/ncatlab.org/spahn/files/aspects_of_topoi.pdf")
(code-pdf-text "freydat" "$S/https/ncatlab.org/spahn/files/aspects_of_topoi.pdf")
;; (find-freydatpage)
;; (find-freydattext)

;; «freyd-scedrov»  (to ".freyd-scedrov")
;; (find-LATEX "catsem.bib" "bib-FreydScedrov")
;; http://gigapedia.org/items/122399/categories--allegories--north-holland-mathematical-library---north-holland-mathematical-library-
(code-djvu       "freydscedrov" "~/books/__cats/freyd_scedrov__categories_allegories.djvu")
(code-djvutotext "freydscedrov" "~/books/__cats/freyd_scedrov__categories_allegories.djvu")
;; (find-freydscedrovpage         7  "Contents")
;; (find-freydscedrovpage (+ 16   3) "1.1. Basic definitions")
;; (find-freydscedrovpage (+ 16 287) "Subject index")
;; (find-freydscedrovtext            "")

;; «gabriel-zisman»  (to ".gabriel-zisman")
;; (find-angg ".emacs.papers" "fritz")
(code-djvu "gabrielzisman" "~/books/__cats/gabriel_zisman__calculus_of_fractions.djvu")
;; (find-gabrielzismanpage        7  "Contents")
;; (find-gabrielzismanpage (+ 8   6) "1. Categories of Fractions")
;; (find-gabrielzismanpage (+ 8  11) "2. The Calculus of Fractions")
;; (find-gabrielzismanpage (+ 8  16) "3. Calculus of Left Fractions and Direct Limits")
;; (find-gabrielzismanpage (+ 8 167) "Index")

;; «goldblatt»  (to ".goldblatt")
;; http://gigapedia.com/items/49246/topoi--the-categorial-analysis-of-logic--studies-in-logic-and-the-foundations-of-mathematics-
(code-djvu "goldblatt" "~/books/__cats/goldblatt__topoi.djvu")
;; (find-goldblattpage        15  "Contents")
;; (find-goldblattpage (+ 16 541) "Index of Definitions")

;; «jacobs»  (to ".jacobs")
;; (find-angg ".emacs.papers" "jacobs")
;; (find-books "__cats/__cats.el" "jacobs")
;; (code-djvu       "jacobs" "~/books/__cats/jacobs__categorical_logic_and_type_theory.djvu")
;; (code-djvutotext "jacobs" "~/books/__cats/jacobs__categorical_logic_and_type_theory.djvu")
(code-pdf       "jacobs" "~/books/__cats/jacobs__categorical_logic_and_type_theory.pdf")
(code-pdftotext "jacobs" "~/books/__cats/jacobs__categorical_logic_and_type_theory.pdf" 20)
;; (find-jacobspage)
;; (find-jacobspage        1  "Contents")
;; (find-jacobspage (+ 1 189) "Index")
;; (find-jacobstext "")

;; (find-jacobspage 7 "Preface")
;; (find-jacobspage 9 "Contents")
;; (find-jacobspage 13 "Preliminaries")
;; (find-jacobspage (+ 20   1) "0_  Prospectus")
;; (find-jacobspage (+ 20   6) "The most important adjunctions are:")
;; (find-jacobspage (+ 20  19) "`simple slice categories'")
;; (find-jacobspage (+ 20  27) "cartesian lifting")
;; (find-jacobspage (+ 20  72) "1.7  Categories of fibrations")
;; (find-jacobspage (+ 20  80) "1.8. Fibrewise structure and fibred adjunctions")
;; (find-jacobspage (+ 20 119) "2_  Simple type theory")
;; (find-jacobspage (+ 20 121)     "context")
;; (find-jacobspage (+ 20 121)     "basic rules")
;; (find-jacobspage (+ 20 126) "2.2. Functorial semantics")
;; (find-jacobspage (+ 20 169) "3_  Equational logic")
;; (find-jacobspage (+ 20 172)   "substitution")
;; (find-jacobspage (+ 20 219) "4_  First order predicate logic")
;; (find-jacobspage (+ 20 282) "4.7_  Quotient types")
;; (find-jacobspage (+ 20 290) "4.7_  Quotient types, categorically")
;; (find-jacobspage (+ 20 334)   "topos")
;; (find-jacobspage (+ 20 441) "8_  Polymorphic Type Theory")
;; (find-jacobspage (+ 20 447)     "The introduction rules for $\\Pi$ and $\\Sigma$ are")
;; (find-jacobspage (+ 20 465)     "naive set theoretic semantics")
;; (find-jacobspage (+ 20 471) "8.4.1." "polymorphic fibration")
;; (find-jacobspage (+ 20 485) "8.5. Small polymorphic fibrations")
;; (find-jacobspage (+ 20 539) "9.3.4." "comprehension category")
;; (find-jacobspage (+ 20 586)     "rules for dependent product" "sum" "and" "equality")
;; (find-jacobspage (+ 20 603) "10.3.1." "The above display maps are" "stable under pullback")
;; (find-jacobspage (+ 20 605) "10.3.2." "A unit type")
;; (find-jacobspage (+ 20 606) "10.3.3." "(i) Dependent products")
;; (find-jacobspage (+ 20 606) "10.3.3." "(ii) Weak dependent sums")
;; (find-jacobspage (+ 20 606) "10.3.3." "(iii) And strong dependent sums")
;; (find-jacobspage (+ 20 610) "10.4.1." "display map category")
;; (find-jacobspage (+ 20 610) "10.4.2." "comprehension category")
;; (find-jacobspage (+ 20 614)     "some important examples of (full) comprehension")
;; (find-jacobspage (+ 20 616) "10.4.7." "comprehension category with unit")
;; (find-jacobspage (+ 20 735) "Notation Index")
;; (find-jacobspage (+ 20 743) "Subject Index")
;; (find-jacobspage (+ 20 744) "Subject Index" "comprehension")
;; (find-jacobstext "")

;; (find-jacobspage         7  "Preface")
;; (find-jacobspage         9  "Contents")
;; (find-jacobspage        13  "Preliminaries")
;; (find-jacobspage (+ 20   1) "0. Prospectus")
;; (find-jacobspage (+ 20   1) "0.1. Logic, type theory, and fibred category theory")
;; (find-jacobspage (+ 20  11) "0.2. The logic and type theory of sets")
;; (find-jacobspage (+ 20  19) "1. Introduction to fibred category theory")
;; (find-jacobspage (+ 20  20) "1.1. Fibrations")
;; (find-jacobspage (+ 20  31) "1.2. Some concrete examples: sets, ct/-sets and PERs")
;; (find-jacobspage (+ 20  40) "1.3. Some general examples")
;; (find-jacobspage (+ 20  47) "1.4. Cloven and split fibrations")
;; (find-jacobspage (+ 20  56) "1.5. Change-of-base and composition for fibrations")
;; (find-jacobspage (+ 20  64) "1.6. Fibrations of signatures")
;; (find-jacobspage (+ 20  72) "1.7. Categories of fibrations")
;; (find-jacobspage (+ 20  80) "1.8. Fibrewise structure and fibred adjunctions")
;; (find-jacobspage (+ 20  93) "1.9. Fibred products and coproducts")
;; (find-jacobspage (+ 20 107) "1.10. Indexed categories")
;; (find-jacobspage (+ 20 119) "2. Simple type theory")
;; (find-jacobspage (+ 20 120) "2.1. The basic calculus of types and terms")
;; (find-jacobspage (+ 20 126) "2.2. Functorial semantics")
;; (find-jacobspage (+ 20 133) "2.3. Exponents, products and coproducts")
;; (find-jacobspage (+ 20 146) "2.4. Semantics of simple type theories")
;; (find-jacobspage (+ 20 154) "2.5. Semantics of the untyped lambda calculus as a corollary")
;; (find-jacobspage (+ 20 157) "2.6. Simple parameters")
;; (find-jacobspage (+ 20 169) "3. Equational Logic")
;; (find-jacobspage (+ 20 170) "3.1. Logics")
;; (find-jacobspage (+ 20 177) "3.2. Specifications and theories in equational logic")
;; (find-jacobspage (+ 20 183) "3.3. Algebraic specifications")
;; (find-jacobspage (+ 20 190) "3.4. Fibred equality")
;; (find-jacobspage (+ 20 201) "3.5. Fibrations for equational logic")
;; (find-jacobspage (+ 20 209) "3.6. Fibred functorial semantics")
;; (find-jacobspage (+ 20 219) "4. First order predicate logic")
;; (find-jacobspage (+ 20 221) "4.1. Signatures, connectives and quantifiers")
;; (find-jacobspage (+ 20 232) "4.2. Fibrations for first order predicate logic")
;; (find-jacobspage (+ 20 246) "4.3. Functorial interpretation and internal language")
;; (find-jacobspage (+ 20 256) "4.4. Subobject fibrations I: regular categories")
;; (find-jacobspage (+ 20 265) "4.5. Subobject fibrations II: coherent categories and logoses")
;; (find-jacobspage (+ 20 272) "4.6. Subset types")
;; (find-jacobspage (+ 20 282) "4.7. Quotient types")
;; (find-jacobspage (+ 20 290) "4.8. Quotient types, categorically")
;; (find-jacobspage (+ 20 304) "4.9. A logical characterisation of subobject fibrations")
;; (find-jacobspage (+ 20 311) "5. Higher order predicate logic")
;; (find-jacobspage (+ 20 312) "5.1. Higher order signatures")
;; (find-jacobspage (+ 20 321) "5.2. Generic objects")
;; (find-jacobspage (+ 20 330) "5.3. Fibrations for higher order logic")
;; (find-jacobspage (+ 20 338) "5.4. Elementary toposes")
;; (find-jacobspage (+ 20 346) "5.5. Colimits, powerobjects and well-poweredness in a topos")
;; (find-jacobspage (+ 20 353) "5.6. Nuclei in a topos")
;; (find-jacobspage (+ 20 360) "5.7. Separated objects and sheaves in a topos")
;; (find-jacobspage (+ 20 368) "5.8. A logical description of separated objects and sheaves")
;; (find-jacobspage (+ 20 373) "6. The effective topos")
;; (find-jacobspage (+ 20 374) "6.1. Constructing a topos from a higher order fibration")
;; (find-jacobspage (+ 20 385) "6.2. The effective topos and its subcategories of sets, u;-sets, and PERs")
;; (find-jacobspage (+ 20 393) "6.3. Families of PERs and u;-sets over the effective topos")
;; (find-jacobspage (+ 20 398) "6.4. Natural numbers in the effective topos and some associated principles")
;; (find-jacobspage (+ 20 407) "7. Internal category theory ,.")
;; (find-jacobspage (+ 20 408) "7.1. Definition and examples of internal categories")
;; (find-jacobspage (+ 20 414) "7.2. Internal functors and natural transformations")
;; (find-jacobspage (+ 20 421) "7.3. Externalisation")
;; (find-jacobspage (+ 20 430) "7.4. Internal diagrams and completeness")
;; (find-jacobspage (+ 20 441) "8. Polymorphic type theory")
;; (find-jacobspage (+ 20 444) "8.1. Syntax")
;; (find-jacobspage (+ 20 454) "8.2. Use of polymorphic type theory")
;; (find-jacobspage (+ 20 463) "8.3. Naive set theoretic semantics")
;; (find-jacobspage (+ 20 471) "8.4. Fibrations for polymorphic type theory")
;; (find-jacobspage (+ 20 485) "8.5. Small polymorphic fibrations")
;; (find-jacobspage (+ 20 495) "8.6. Logic over polymorphic type theory")
;; (find-jacobspage (+ 20 509) "9. Advanced fibred category theory")
;; (find-jacobspage (+ 20 510) "9.1. Opfibrations and fibred spans")
;; (find-jacobspage (+ 20 518) "9.2. Logical predicates and relations")
;; (find-jacobspage (+ 20 535) "9.3. Quantification")
;; (find-jacobspage (+ 20 547) "9.4. Category theory over a fibration")
;; (find-jacobspage (+ 20 558) "9.5. Locally small fibrations")
;; (find-jacobspage (+ 20 568) "9.6. Definability")
;; (find-jacobspage (+ 20 581) "10. First order dependent type theory")
;; (find-jacobspage (+ 20 584) "10.1. A calculus of dependent types")
;; (find-jacobspage (+ 20 594) "10.2. Use of dependent types")
;; (find-jacobspage (+ 20 601) "10.3. A term model")
;; (find-jacobspage (+ 20 609) "10.4. Display maps and comprehension categories")
;; (find-jacobspage (+ 20 614)       "some important examples of (full) comprehension")
;; (find-jacobspage (+ 20 616)       "10.4.7." "comprehension category with unit")
;; (find-jacobspage (+ 20 623) "10.5. Closed comprehension categories")
;; (find-jacobspage (+ 20 637) "10.6. Domain theoretic models of type dependency")
;; (find-jacobspage (+ 20 645) "11. Higher order dependent type theory")
;; (find-jacobspage (+ 20 648) "11.1. Dependent predicate logic")
;; (find-jacobspage (+ 20 653) "11.2. Dependent predicate logic, categorically")
;; (find-jacobspage (+ 20 662) "11.3. Polymorphic dependent type theory")
;; (find-jacobspage (+ 20 674) "11.4. Strong and very strong sum and equality")
;; (find-jacobspage (+ 20 684) "11.5. Full higher order dependent type theory")
;; (find-jacobspage (+ 20 692) "11.6. Full higher order dependent type theory, categorically")
;; (find-jacobspage (+ 20 707) "11.7. Completeness of the category of PERs in the effective topos")
;; (find-jacobspage (+ 20 717) "References")
;; (find-jacobspage (+ 20 735) "Notation Index")
;; (find-jacobspage (+ 20 743) "Subject Index")

;; «johnstone»  (to ".johnstone")
;; (find-angg ".emacs.papers" "johnstone")
;; http://gigapedia.org/items/106808/topos-theory--london-mathematical-society-monographs-
;; http://gigapedia.org/items/46687/stone-spaces--cambridge-studies-in-advanced-mathematics-
;; http://gigapedia.org/items/106809/sketches-of-an-elephant--a-topos-theory-compendium-2-volume-set--oxford-logic-guides--43--amp--44-
;; johnstone__topos_theory.djvu
;; johnstone__stone_spaces.djvu
;; johnstone__sketches_of_an_elephant_2vols.djvu
(code-djvu       "topostheory" "~/books/__cats/johnstone__topos_theory.djvu")
(code-djvu       "stonespaces" "~/books/__cats/johnstone__stone_spaces.djvu")
(code-djvutotext "stonespaces" "~/books/__cats/johnstone__stone_spaces.djvu" 20)
;;
;; (find-topostheorypage         7  "Contents")
;; (find-topostheorypage (+ 24   6) "0.18. (calculus of right fractions)")
;; (find-topostheorypage (+ 24  76) "3.1. Topologies")
;; (find-topostheorypage (+ 24  90) "3.39. Corollary")
;; (find-topostheorypage (+ 24  90) "3.4. sh_j(E) as a Category of Fractions")
;; (find-topostheorypage (+ 24 152) "Mitchell-Benabou")
;; (find-topostheorypage (+ 24 157) "Kripke-Joyal")
;; (find-topostheorypage (+ 24 319) "9.4. The Filter-Power Construction")
;; (find-topostheorypage (+ 24 347) "Bibliography")
;; (find-topostheorypage (+ 24 357) "Index of Definitions")
;; (find-topostheorypage (+ 24 361) "Index of Notation")
;;
;; (find-stonespacespage         3  "Contents")
;; (find-stonespacespage (+ 20  26) "Adjoint Functor Theorem")
;; (find-stonespacestext (+ 20  26) "Adjoint Functor Theorem")
;; (find-stonespacespage (+ 20  27) "complete Boolean algebra")
;; (find-stonespacespage (+ 20  31) "free complete lattice on three generators")
;; (find-stonespacespage (+ 20  34) "The free Heyting algebra on one generator")
;; (find-stonespacestext (+ 20  34) "The free Heyting algebra on one generator")
;; (find-stonespacespage (+ 20  45) "Alexandrov topology")
;; (find-stonespacespage (+ 20  48) "nucleus")
;; (find-stonespacespage (+ 20  53) "every nucleus is expressible as a join")
;; (find-stonespacespage (+ 20 169) "V. 1. A Crash Course in Sheaf Theory")
;; (find-stonespacespage (+ 20 324) "Bibliography")
;; (find-stonespacespage (+ 20 364) "Index of categories")
;; (find-stonespacespage (+ 20 366) "Index of other symbols")
;; (find-stonespacespage (+ 20 368) "Index of Definitions")
;; (find-stonespacestext)
;;
;; «johnstone-elephant» (to ".johnstone-elephant")
;; (find-books "__cats/__cats.el" "johnstone-elephant")
(code-djvu       "elephant" "~/books/__cats/johnstone__sketches_of_an_elephant_2vols.djvu")
(code-djvutotext "elephant" "~/books/__cats/johnstone__sketches_of_an_elephant_2vols.djvu" 17)
(code-pdf       "elephant" "~/books/__cats/johnstone__sketches_of_an_elephant_2vols.pdf")
(code-pdftotext "elephant" "~/books/__cats/johnstone__sketches_of_an_elephant_2vols.pdf" 17)
;; (find-elephantpage          13  "Contents")
;; (find-elephantpage (+  17    3) "A1.1 Preliminary assumptions")
;; (find-elephantpage (+  17    4) "Lemma 1.1.1")
;; (find-elephantpage (+  17    6) "Lambek" "Lemma 1.1.4" "initial object (A,\aa)")
;; (find-elephantpage (+  17   11) "cartesian functor")
;; (find-elephantpage (+  17   69) "logical functor")
;; (find-elephantpage (+  17   84) "Example 2.1.3 [The filterquotient construction]")
;; (find-elephantpage (+  17  161) "A4 Geometric Morphisms - Basic Theory")
;; (find-elephantpage (+  17  164) "essential geometric morphism")
;; (find-elephanttext (+  17  164) "essential geometric morphism")
;; (find-elephantpage (+  17  188) "separated")
;; (find-elephantpage (+  17  195) "A4.4 Local Operators")
;; (find-elephantpage (+  17  264) "B1.3 Fibred Categories")
;; (find-elephantpage (+  17  265) "prone")
;; (find-elephantpage (+  17  471) "C1.1 Frames and Nuclei")
;; (find-elephantpage (+  17  490) "neighbourhood filter")
;; (find-elephantpage (+  17  536) "C2.1 Sites and coverages")
;; (find-elephantpage (+  15  828) "D1.3 First order logic")
;; (find-elephantpage (+  15  841) "D1.4 Syntactic categories")
;; (find-elephantpage (+  15  940) "D4.1 Interpreting higher-order logic in a topos")
;; (find-elephantpage (+  15  951) "D4.2 Lambda-calculus and cartesian-closed categories")
;; (find-elephantpage (+  15  952) "logic-free")
;; (find-elephantpage (+  15  963) "D4.3 Toposes as type theories")
;; (find-elephantpage (+  15 1032) "D4.7.17" "The Dedekind unit interval is a terminal coalgebra")
;; (find-elephantpage (+ 1104   1) "Bibiliography")
;; (find-elephantpage (+ 1104  55) "Index of Notation")
;; (find-elephantpage (+ 1104  61) "General Index")
;; (find-elephanttext "")
;; (find-elephantpage        13  "CONTENTS VOLUME \nA")
;; (find-elephanttext        13  "CONTENTS VOLUME \nA")
;; (find-elephantpage (+ 17 184) "Cartesian reflectors and sheaves")
;; (find-elephanttext (+ 17 184) "Cartesian reflectors and sheaves")

;; (find-books "__cats/__cats.el" "johnstone")
(code-xpdf      "nolst" "~/books/__cats/johnstone__notes_on_logic_and_set_theory.pdf")
(code-xpdf-text "nolst" "~/books/__cats/johnstone__notes_on_logic_and_set_theory.pdf" 8)
(code-djvu      "nolst" "~/books/__cats/johnstone__notes_on_logic_and_set_theory.djvu")
(code-djvu-text "nolst" "~/books/__cats/johnstone__notes_on_logic_and_set_theory.djvu" 8)
;; (find-code-djvu      "nolst" "~/books/__cats/johnstone__notes_on_logic_and_set_theory.djvu")
;; (find-code-djvu-text "nolst" "~/books/__cats/johnstone__notes_on_logic_and_set_theory.djvu" 11)
;; (find-nolstpage)
;; (find-nolstpage         6  "Contents")
;; (find-nolstpage (+ 11 108) "Index of Definitions")
;; (find-nolstpage (+ 11 111) "Index of Names")
;; (find-nolsttext "")

;; (find-nolstpage (+ 11 1) "1 Universal algebra")
;; (find-nolsttext (+ 11 1) "1 Universal algebra")
;; (find-nolstpage (+ 11 11) "2 Propositional calculus")
;; (find-nolsttext (+ 11 11) "2 Propositional calculus")
;; (find-nolstpage (+ 11 18) "3 First-order theories")
;; (find-nolsttext (+ 11 18) "3 First-order theories")
;; (find-nolstpage (+ 11 34) "4 Recursive functions")
;; (find-nolsttext (+ 11 34) "4 Recursive functions")
;; (find-nolstpage (+ 11 53) "5 Zermelo-Fraenkel set theory")
;; (find-nolsttext (+ 11 53) "5 Zermelo-Fraenkel set theory")
;; (find-nolstpage (+ 11 68) "6 Ordinals and well-orderings")
;; (find-nolsttext (+ 11 68) "6 Ordinals and well-orderings")
;; (find-nolstpage (+ 11 78) "7 The axiom of choice")
;; (find-nolsttext (+ 11 78) "7 The axiom of choice")
;; (find-nolstpage (+ 11 88) "8 Cardinal arithmetic")
;; (find-nolsttext (+ 11 88) "8 Cardinal arithmetic")
;; (find-nolstpage (+ 11 97) "9 Consistency and independence")
;; (find-nolsttext (+ 11 97) "9 Consistency and independence")






;; «kromer»  (to ".kromer")
;; (find-books "__cats/__cats.el" "kromer")
;; (find-LATEX "catsem.bib" "bib-Kromer")
;; http://www2.math.uni-wuppertal.de/~kroemer/index.html
;; http://poincare.univ-nancy2.fr/Presentation/?contentId=1527
(code-xpdf      "kromer" "~/books/__cats/kromer___tool_and_object_a_history_and_philosophy_of_category_theory.pdf")
(code-pdftotext "kromer" "~/books/__cats/kromer___tool_and_object_a_history_and_philosophy_of_category_theory.pdf")
;; (find-kromerpage 1)
;; (find-kromerpage         8  "Contents")
;; (find-kromerpage (+ -1  21) "Introduction")
;; (find-kromerpage (+ 35   1) "Chapter 1. Prelude")
;; (find-kromerpage (+ 35  27) "explain the more basic and the" "clearer by the more obscure")
;; (find-kromertext            "explain the more basic and the" "clearer by the more obscure")
;; (find-kromerpage (+ 35  65) "2.3.2 The reception of the 1945 paper")
;; (find-kromertext          "\n2.3.2 The reception of the 1945 paper")
;; (find-kromerpage (+ 35  83) "The diagrams incorporate a large amount of information.")
;; (find-kromertext            "The diagrams incorporate a large amount of information")
;; (find-kromerpage (+ 35 152) "absence of elements" "painfully difficult")
;; (find-kromertext            "absence of elements" "painfully di" "cult")
;; (find-kromerpage (+ 35 152) "no abelian categories not" "admitting diagram chasing")
;; (find-kromertext            "no abelian categories not" "admitting diagram chasing")
;; (find-kromerpage (+ 35 165) "dictionnaire")
;; (find-kromertext            "dictionnaire")
;; (find-kromerpage (+ 34 215) "nonstructural categories")
;; (find-kromertext            "nonstructural categories")
;; (find-kromerpage (+ 34 218) "5.3.2.1 Objects cannot be penetrated")
;; (find-kromertext          "\n5.3.2.1 Objects cannot be penetrated")
;; (find-kromerpage (+ 34 232) "same technical common sense")
;; (find-kromertext            "same technical common sense")
;; (find-kromerpage (+ 34 236) "simulate" "set-theoretical features in CT")
;; (find-kromertext            "simulate" "set-theoretical features in CT")
;; (find-kromerpage (+ 34 240) "the set of all sets")
;; (find-kromerpage (+ 34 254) "it would be pointless")
;; (find-kromerpage (+ 34 260) "consider universes")
;; (find-kromerpage (+ 34 272) "canonical universes which are larger than L")
;; (find-kromerpage (+ 34 279) "statements" "(equivalent to) elementary ones")
;; (find-kromerpage (+ 33 321) "Bibliography")
;; (find-kromertext)

;; «lambek» (to ".lambek")
;; (find-books "__cats/__cats.el" "lambek")
;; http://www.math.mcgill.ca/barr/lambek/pdffiles/
;; https://www.researchgate.net/publication/221256672_Cartesian_Closed_Categories_and_Typed_Lambda-_calculi
(code-pdf       "lambekccctcl" "~/books/__cats/lambek__CCCs_and_typed_lambda-calculi.pdf")
(code-pdftotext "lambekccctcl" "~/books/__cats/lambek__CCCs_and_typed_lambda-calculi.pdf" -135)
;; (find-lambekccctclpage)
;; (find-lambekccctclpage (+ -135 136) "Index")
;; (find-lambekccctclpage (+ -135 137) "1. Introduction to Category Theory")
;; (find-lambekccctclpage (+ -135 140) "2. Cartesian Categories")
;; (find-lambekccctclpage (+ -135 148) "3. Cartesian Closed Categories")
;; (find-lambekccctclpage (+ -135 153) "4. Typed L-calculi")
;; (find-lambekccctclpage (+ -135 159) "5. Natural Numbers Object")
;; (find-lambekccctclpage (+ -135 165) "6. Can the NNO be presented equationally?")
;; (find-lambekccctcltext "")

;; Casadio, Coecke, Moortgat, Scott (Eds.):
;; Categories and Types in Logic, Language, and Physics -
;; Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday
(code-pdf       "lambek90thb" "~/books/__cats/categories_and_types_in_logic_language_and_physics.pdf")
(code-pdftotext "lambek90thb" "~/books/__cats/categories_and_types_in_logic_language_and_physics.pdf" 12)
;; (find-lambek90thbpage)
;; (find-lambek90thbpage       10 "Contents")
;; (find-lambek90thbpage (+ 11 1) "Semantic Unification")
;; (find-lambek90thbtext "")



;; «lambek-scott»  (to ".lambek-scott")
;; (find-LATEX "catsem.bib" "bib-LambekScott")
;; http://gigapedia.org/items/83678/introduction-to-higher-order-categorical-logic--cambridge-studies-in-advanced-mathematics-
(code-xpdf "lambekscott" "~/books/__cats/lambek_scott__introduction_to_higher_order_categorical_logic.pdf")
;; (find-lambekscottpage        3  "Contents")
;; (find-lambekscottpage (+ 8   1) "0. Introduction to Category Theory")
;; (find-lambekscottpage (+ 8   3)   "Introduction to part 0")
;; (find-lambekscottpage (+ 8   4)   "1. Categories and functors")
;; (find-lambekscottpage (+ 8   8)   "2. Natural transformations")
;; (find-lambekscottpage (+ 8  12)   "3. Adjoint functors")
;; (find-lambekscottpage (+ 8  16)   "4. Equivalence of categories")
;; (find-lambekscottpage (+ 8  19)   "5. Limits in categories")
;; (find-lambekscottpage (+ 8  27)   "6. Triples")
;; (find-lambekscottpage (+ 8  35)   "7. Examples of cartesian closed categories")
;; (find-lambekscottpage (+ 8  39) "I. Cartesian Closed Categories and lambda-calculus")
;; (find-lambekscottpage (+ 8  41)   "Introduction to part I")
;; (find-lambekscottpage (+ 8  42)   "Historical perspective on Part I")
;; (find-lambekscottpage (+ 8  46)     "Dana Scott" "B^B iso to B")
;; (find-lambekscottpage (+ 8  47)   "1. Propositional calculus as a deductive system")
;; (find-lambekscottpage (+ 8  50)   "2. The deduction theorem")
;; (find-lambekscottpage (+ 8  52)   "3. Cartesian closed categories equationally presented")
;; (find-lambekscottpage (+ 8  55)   "4. Free cartesian closed categories generated by graphs")
;; (find-lambekscottpage (+ 8  57)   "5. Polynomial categories")
;; (find-lambekscottpage (+ 8  58)     "polynomials")
;; (find-lambekscottpage (+ 8  59)   "6. Functional completeness in cartesian closed categories")
;; (find-lambekscottpage (+ 8  62)   "7. Polynomials and Kleisli Categories")
;; (find-lambekscottpage (+ 8  65)   "8. Cartesian closed categories with coproducts")
;; (find-lambekscottpage (+ 8  68)   "9. Natural numbers objects in cartesian closed categories")
;; (find-lambekscottpage (+ 8  72)   "10. Typed lambda-calculi")
;; (find-lambekscottpage (+ 8  75)      "internal language L(A) of a cartesian closed category")
;; (find-lambekscottpage (+ 8  77)   "11. The cartesian closed category generated by a typed lambda-calculus")
;; (find-lambekscottpage (+ 8  81)   "12. The decision problem for equality")
;; (find-lambekscottpage (+ 8  84)   "13. The Church-Rosser theorem for bounded terms")
;; (find-lambekscottpage (+ 8  88)   "14. All terms are bounded")
;; (find-lambekscottpage (+ 8  93)   "15. C-monoids")
;; (find-lambekscottpage (+ 8  98)   "16. C-monoids are cartesian closed categories")
;; (find-lambekscottpage (+ 8 101)   "17. C-monoids and untyped lambda-calculus")
;; (find-lambekscottpage (+ 8 107)   "18. A construction by Dana Scott")
;; (find-lambekscottpage (+ 8 114)   "Historical comments on Part I")
;; (find-lambekscottpage (+ 8 128) "Intuitionistic type theory")
;; (find-lambekscottpage (+ 8 131) "some unicorns have horns")
;; (find-lambekscottpage (+ 8 139) "3 The internal language of a topos")
;; (find-lambekscottpage (+ 8 148) "5 The internal language at work")
;; (find-lambekscottpage (+ 8 153) "6 The internal language at work II")
;; (find-lambekscottpage (+ 8 200) "Toposes with canonical subobjects")
;; (find-lambekscottpage (+ 8 257) "NNO")
;; (find-lambekscottpage (+ 8 279) "Bibliography")
;; (find-lambekscottpage (+ 8 291) "Subject index")

;; "Programs, grammars, arguments"
;; http://www.math.mcgill.ca/barr/papers/pga.pdf
;; (find-fline "$S/http/www.math.mcgill.ca/barr/papers/")
(code-xpdf     "lambekpga" "$S/http/www.math.mcgill.ca/barr/papers/pga.pdf")
(code-pdf-text "lambekpga" "$S/http/www.math.mcgill.ca/barr/papers/pga.pdf")
;; (find-lambekpgapage)
;; (find-lambekpgapage 3 "Contents")
;; (find-lambekpgapage 15 "1.3 Primitive recursive functions are calculable")
;; (find-lambekpgatext 15 "1.3 Primitive recursive functions are calculable")
;; (find-lambekpgatext)




;; «lavendhomme»  (to ".lavendhomme")
(code-djvu       "lavendhomme" "~/books/__cats/lavendhomme__basic_convepts_of_synthetic_differential_geometry.djvu")
(code-djvutotext "lavendhomme" "~/books/__cats/lavendhomme__basic_convepts_of_synthetic_differential_geometry.djvu")
;; (find-lavendhommepage           2  "Contents")
;; (find-lavendhommepage (+ -151 317) "Index")
;; (find-lavendhommetext "")


;; «lawvere»  (to ".lawvere")
;; (find-angg ".emacs.papers" "lawvere")
;; http://gigapedia.org/items/49873/sets-for-mathematics
;; http://gigapedia.org/items/75025/conceptual-mathematics--a-first-introduction-to-categories
;; http://books.google.com/books?id=o1tHw4W5MZQC
;; http://books.google.com/books?id=3Lyvsc694T4C&pg=PA1&source=gbs_toc_r&cad=6
(code-xpdf      "lawveresetsmath" "~/books/__cats/lawvere_rosebrugh__sets_for_mathematics.pdf")
(code-pdftotext "lawveresetsmath" "~/books/__cats/lawvere_rosebrugh__sets_for_mathematics.pdf")
(code-djvu      "lawvereconcmath" "~/books/__cats/lawvere_schanuel__conceptual_mathematics.djvu")
;; (find-lawveresetsmathpage         6  "Contents")
;; (find-lawveresetsmathpage (+ 15 257) "Index")
;; (find-lawveresetsmathtext            "")
;; (find-lawvereconcmathpage         6  "Contents")
;; (find-lawvereconcmathpage (+ 15  13) "internal diagram of a set")
;; (find-lawvereconcmathpage (+ 15 353) "Index")

;; "Equality in Hyperdoctrines and Comprehension Schema as an Adjoint Functor" -
;;   Proceedings of the American Mathematical Society Symposium on Pure Mathematics XVII (1970), 1-14.
;; http://www.acsu.buffalo.edu/~wlawvere/subject.html
;; http://angg.twu.net/books/__cats/lawvere__equality_in_hyperdoctrines__1970.djvu
;; (find-sh0 "cp -v $S/http/angg.twu.net/books/__cats/lawvere__equality_in_hyperdoctrines__1970.djvu ~/books/__cats/")
;; http://books.google.com/books?id=3Lyvsc694T4C&printsec=frontcover
;; [I scanned this one myself].
(code-djvu "lawvere70" "~/books/__cats/lawvere__equality_in_hyperdoctrines__1970.djvu")
;; (find-lawvere70page      1  "Contents")
;; (find-lawvere70page (+ 1 1) "Index")



;; «maclane»  (to ".maclane")
;; (find-angg ".emacs.papers" "maclane")
;; http://gigapedia.org/items/20597/categories-for-the-working-mathematician-1971--graduate-texts-in-mathematics-
;; http://gigapedia.org/items/80242/categories-for-the-working-mathematician--graduate-texts-in-mathematics-
;; maclane__CWM.pdf
;; maclane__CWM_2up.djvu
;; maclane__CWM_2up_b.djvu.djvu

;; (find-books "__cats/__cats.el" "maclane")
(code-pdf       "cwm1" "~/books/__cats/maclane__cwm_springer_1st_ed.pdf")
(code-pdftotext "cwm1" "~/books/__cats/maclane__cwm_springer_1st_ed.pdf" 9)
(code-pdf       "cwm2" "~/books/__cats/maclane__cwm_springer_2nd_ed.pdf")
(code-pdftotext "cwm2" "~/books/__cats/maclane__cwm_springer_2nd_ed.pdf" 9)
;; (find-cwm1page)
;; (find-cwm1page        7  "Contents")
;; (find-cwm1page (+ 9   1) "Introduction")
;; (find-cwm1page (+ 3 253) "Index")
;; (find-cwm1text "")

;; (find-cwm2page)
;; (find-cwm2page        8  "Contents")
;; (find-cwm2page (+ 3 303) "Index")
;; (find-cwm2text "")

;; (find-cwm2page 5 "Preface to the Second Edition")
;; (find-cwm2page 6 "Preface to the First Edition")
;; (find-cwm2page (+ 11  1) "Introduction")
;; (find-cwm2page (+ 10  7) "I. Categories, Functors, and Natural Transformations")
;; (find-cwm2page (+ 10 10)   "1. Axioms for Categories")
;; (find-cwm2page (+ 10 10)   "2. Categories")
;; (find-cwm2page (+ 10 13)   "3. Functors")
;; (find-cwm2page (+ 10 16)   "4. Natural Transformations")
;; (find-cwm2page (+ 10 19)   "5. Monics, Epis, and Zeros")
;; (find-cwm2page (+ 10 21)   "6. Foundations")
;; (find-cwm2page (+ 10 24)   "7. Large Categories")
;; (find-cwm2page (+ 10 27)   "8. Hom-Sets")
;; (find-cwm2page (+ 10 31) "II. Constructions on Categories")
;; (find-cwm2page (+ 10 31)   "1. Duality")
;; (find-cwm2page (+ 10 33)   "2. Contravariance and Opposites")
;; (find-cwm2page (+ 10 36)   "3. Products of Categories")
;; (find-cwm2page (+ 10 40)   "4. Functor Categories")
;; (find-cwm2page (+ 10 42)   "5. The Category of All Categories")
;; (find-cwm2page (+ 10 45)   "6. Comma Categories")
;; (find-cwm2page (+ 10 48)   "7. Graphs and Free Categories")
;; (find-cwm2page (+ 10 51)   "8. Quotient Categories")
;; (find-cwm2page (+ 9  55) "III. Universals and Limits")
;; (find-cwm2page (+ 9  55)   "1. Universal Arrows")
;; (find-cwm2page (+ 9  59)   "2. The Yoneda Lemma")
;; (find-cwm2page (+ 9  62)   "3. Coproducts and Colimits")
;; (find-cwm2page (+ 9  68)   "4. Products and Limits")
;; (find-cwm2page (+ 9  72)   "5. Categories with Finite Products")
;; (find-cwm2page (+ 9  75)   "6. Groups in Categories")
;; (find-cwm2page (+ 9  76)   "7. Colimits of Representable Functors")
;; (find-cwm2page (+ 9  79) "IV. Adjoints")
;; (find-cwm2page (+ 9  79)   "1. Adjunctions")
;; (find-cwm2page (+ 9  86)   "2. Examples of Adjoints")
;; (find-cwm2page (+ 9  90)   "3. Reflective Subcategories")
;; (find-cwm2page (+ 9  92)   "4. Equivalence of Categories")
;; (find-cwm2page (+ 9  95)   "5. Adjoints for Preorders")
;; (find-cwm2page (+ 9  97)   "6. Cartesian Closed Categories")
;; (find-cwm2page (+ 9  99)   "7. Transformations of Adjoints")
;; (find-cwm2page (+ 9 103)   "8. Composition of Adjoints")
;; (find-cwm2page (+ 9 105)   "9. Subsets and Characteristic Functions")
;; (find-cwm2page (+ 9 106)   "10. Categories Like Sets")
;; (find-cwm2page (+ 9 109) "V. Limits")
;; (find-cwm2page (+ 9 109)   "1. Creation of Limits")
;; (find-cwm2page (+ 9 112)   "2. Limits by Products and Equalizers")
;; (find-cwm2page (+ 9 115)   "3. Limits with Parameters")
;; (find-cwm2page (+ 9 116)   "4. Preservation of Limits")
;; (find-cwm2page (+ 9 118)   "5. Adjoints on Limits")
;; (find-cwm2page (+ 9 120)   "6. Freyd's Adjoint Functor Theorem")
;; (find-cwm2page (+ 9 126)   "7. Subobjects and Generators")
;; (find-cwm2page (+ 9 128)   "8. The Special Adjoint Functor Theorem")
;; (find-cwm2page (+ 9 132)   "9. Adjoints in Topology")
;; (find-cwm2page (+ 9 137) "VI. Monads and Algebras")
;; (find-cwm2page (+ 9 137)   "1. Monads in a Category")
;; (find-cwm2page (+ 9 139)   "2. Algebras for a Monad")
;; (find-cwm2page (+ 9 142)   "3. The Comparison with Algebras")
;; (find-cwm2page (+ 9 144)   "4. Words and Free Semigroups")
;; (find-cwm2page (+ 9 147)   "5. Free Algebras for a Monad")
;; (find-cwm2page (+ 9 149)   "6. Split Coequalizers")
;; (find-cwm2page (+ 9 151)   "7. Beck's Theorem")
;; (find-cwm2page (+ 9 156)   "8. Algebras Are T-Algebras")
;; (find-cwm2page (+ 9 157)   "9. Compact Hausdorff Spaces")
;; (find-cwm2page (+ 8 161) "VII. Monoids")
;; (find-cwm2page (+ 8 161)   "1. Monoidal Categories")
;; (find-cwm2page (+ 8 165)   "2. Coherence")
;; (find-cwm2page (+ 8 170)   "3. Monoids")
;; (find-cwm2page (+ 8 174)   "4. Actions")
;; (find-cwm2page (+ 8 175)   "5. The Simplicial Category")
;; (find-cwm2page (+ 8 180)   "6. Monads and Homology")
;; (find-cwm2page (+ 8 184)   "7. Closed Categories")
;; (find-cwm2page (+ 8 185)   "8. Compactly Generated Spaces")
;; (find-cwm2page (+ 8 188)   "9. Loops and Suspensions")
;; (find-cwm2page (+ 8 191) "VIII. Abelian Categories")
;; (find-cwm2page (+ 8 191)   "1. Kernels and Cokernels")
;; (find-cwm2page (+ 8 194)   "2. Additive Categories")
;; (find-cwm2page (+ 8 198)   "3. Abelian Categories")
;; (find-cwm2page (+ 8 202)   "4. Diagram Lemmas")
;; (find-cwm2page (+ 7 211) "IX. Special Limits")
;; (find-cwm2page (+ 7 211)   "1. Filtered Limits")
;; (find-cwm2page (+ 7 214)   "2. Interchange of Limits")
;; (find-cwm2page (+ 7 217)   "3. Final Functors.")
;; (find-cwm2page (+ 7 218)   "4. Diagonal Naturality")
;; (find-cwm2page (+ 7 222)   "5. Ends")
;; (find-cwm2page (+ 7 226)   "6. Coends")
;; (find-cwm2page (+ 7 228)   "7. Ends with Parameters")
;; (find-cwm2page (+ 7 230)   "8. Iterated Ends and Limits")
;; (find-cwm2page (+ 7 233) "X. Kan Extensions")
;; (find-cwm2page (+ 7 233)   "1. Adjoints and Limits")
;; (find-cwm2page (+ 7 235)   "2. Weak Universality")
;; (find-cwm2page (+ 7 236)   "3. The Kan Extension")
;; (find-cwm2page (+ 7 240)   "4. Kan Extensions as Coends")
;; (find-cwm2page (+ 7 243)   "5. Pointwise Kan Extensions")
;; (find-cwm2page (+ 7 245)   "6. Density")
;; (find-cwm2page (+ 7 248)   "7. All Concepts Are Kan Extensions")
;; (find-cwm2page (+ 7 251) "XI. Symmetry and Braiding in Monoidal Categories")
;; (find-cwm2page (+ 7 251)   "1. Symmetric Monoidal Categories")
;; (find-cwm2page (+ 7 255)   "2. Monoidal Functors")
;; (find-cwm2page (+ 7 257)   "3. Strict Monoidal Categories")
;; (find-cwm2page (+ 7 260)   "4. The Braid Groups Bn and the Braid Category")
;; (find-cwm2page (+ 7 263)   "5. Braided Coherence")
;; (find-cwm2page (+ 7 266)   "6. Perspectives")
;; (find-cwm2page (+ 7 267) "XII. Structures in Categories")
;; (find-cwm2page (+ 7 267)   "1. Internal Categories")
;; (find-cwm2page (+ 7 270)   "2. The Nerve of a Category")
;; (find-cwm2page (+ 7 272)   "3. 2-Categories")
;; (find-cwm2page (+ 7 276)   "4. Operations in 2-Categories")
;; (find-cwm2page (+ 7 279)   "5. Single-Set Categories")
;; (find-cwm2page (+ 7 281)   "6. Bicategories")
;; (find-cwm2page (+ 7 283)   "7. Examples of Bicategories")
;; (find-cwm2page (+ 7 285)   "8. Crossed Modules and Categories in Grp")
;; (find-cwm2page (+ 6 289) "Appendix. Foundations")
;; (find-cwm2page (+ 5 293) "Table of Standard Categories: Objects and Arrows")
;; (find-cwm2page (+ 4 295) "Table of Terminology")
;; (find-cwm2page (+ 3 297) "Bibliography")
;; (find-cwm2page (+ 3 303) "Index")

;; https://ncatlab.org/nlab/show/Lectures+on+category+theory
;; https://dl.dropboxusercontent.com/u/12630719/MacLaneBowdoinLectures69.pdf
;; (find-fline "$S/https/dl.dropboxusercontent.com/u/12630719/")
(code-xpdf     "bowdoin" "$S/https/dl.dropboxusercontent.com/u/12630719/MacLaneBowdoinLectures69.pdf")
(code-pdf-text "bowdoin" "$S/https/dl.dropboxusercontent.com/u/12630719/MacLaneBowdoinLectures69.pdf")
;; (find-bowdoinpage)
;; (find-bowdoinpage 2 "1")
;; (find-bowdoinpage 8 "2")
;; (find-bowdoinpage 12 "3")
;; (find-bowdoinpage 20 "4")
;; (find-bowdoinpage 28 "5")




;; «marquis»  (to ".marquis")
;; http://gigapedia.com/items/217015/from-a-geometrical-point-of-view--a-study-of-the-history-and-philosophy-of-category-theory--logic--epistemology--and-the-unity-of-science-
(code-xpdf      "marquis" "~/books/__cats/marquis__from_a_geometrical_point_of_view.pdf")
(code-pdftotext "marquis" "~/books/__cats/marquis__from_a_geometrical_point_of_view.pdf")
;; (find-marquispage        7  "Contents")
;; (find-marquistext           "Contents")
;; (find-marquispage (+ 8  12) "1.2.1 A Philosophical Fable\n")
;; (find-marquistext           "1.2.1 A Philosophical Fable\n")
;; (find-marquispage (+ 8  15) "multiple realisability")
;; (find-marquistext           "multiple realisability")
;; (find-marquispage (+ 8  64) "2.5 Extending Klein" "s Program in the Wrong Direction\n")
;; (find-marquistext           "2.5 Extending Klein" "s Program in the Wrong Direction\n")
;; (find-marquispage (+ 8 125) "4.2 Kan" "s Discovery\n")
;; (find-marquistext           "4.2 Kan" "s Discovery\n")
;; (find-marquispage (+ 8 141) "duality in the category of topological spaces")
;; (find-marquistext           "duality in the category of topological spaces")
;; (find-marquispage (+ 8 149) "")
;; (find-marquistext           "")
;; (find-marquispage (+ 7 194) "6.1 Lawvere's Thesis")
;; (find-marquistext         "\n6.1 Lawvere")
;; (find-marquispage (+ 7 225) "6.7 Graphical syntax: sketches")
;; (find-marquistext         "\n6.7 Graphical syntax: sketches")
;; (find-marquispage (+ 7 291) "References")
;; (find-marquispage (+ 6 303) "Index")
;; (find-marquistext           "Index")
;; (find-marquistext)



;; «mclarty»  (to ".mclarty")
;; (find-LATEX "catsem.bib" "bib-McLarty")
;; http://gigapedia.com/items/230789/elementary-categories--elementary-toposes--oxford-logic-guides-
(code-djvu "mclarty" "~/books/__cats/mclarty__elementary_categories_elementary_toposes.djvu")
(code-djvu "mclarty" "~/books/__cats/mclarty__elementary_categories_elementary_toposes_b.djvu")
;; (find-mclartypage        6  "Contents")
;; (find-mclartypage (+ 4 126) "14_ The internal language")
;; (find-mclartypage (+ 4 196) "21_ Topologies")
;; (find-mclartypage (+ 2 263) "Index")



;; «moerdijk»  (to ".moerdijk")
;; (find-angg ".emacs.papers" "moerdijk")
;; (find-LATEX "catsem.bib" "bib-MoeRey")
;; http://gigapedia.org/items/28859/sheaves-in-geometry-and-logic--a-first-introduction-to-topos-theory--universitext---1992-06
(code-djvu "maclanemoerdijk" "~/books/__cats/maclane_moerdijk__sheaves_in_geometry_and_logic.djvu")
;; (find-maclanemoerdijkpage           4  "Contents")
;; (find-maclanemoerdijkpage (+   -6  24) "I. Categories of functors")
;; (find-maclanemoerdijkpage (+   -7  25) "presheaves")
;; (find-maclanemoerdijkpage (+  -19  50) "8. Heyting Algebras")
;; (find-maclanemoerdijkpage (+  -23  57) "9. Quantifiers as Adjoints")
;; (find-maclanemoerdijkpage (+  -26  64) "II. Sheaves of Sets")
;; (find-maclanemoerdijkpage (+  -29  69) "2. Sieves and Sheaves")
;; (find-maclanemoerdijktext (+  -29  69) "2. Sieves and Sheaves")
;; (find-maclanemoerdijkpage (+  -38  88) "II.6 Sheaves as Étale Spaces")
;; (find-maclanemoerdijkpage (+  -39  89) "II.6 Sheaves as Étale Spaces")
;; (find-maclanemoerdijkpage (+  -52 115) "forcing")
;; (find-maclanemoerdijkpage (+  -59 129) "5. The associated sheaf functor" "P^+")
;; (find-maclanemoerdijkpage (+ -104 219) "V.1 Lawvere-Tierney Topologies")
;; (find-maclanemoerdijkpage (+ -133 278) "forcing")
;; (find-maclanemoerdijkpage (+ -303 617) "Index")
;;
;; (find-maclanemoerdijkpage (+ -307 626) "Index" "Subobject classifier")
;; (find-maclanemoerdijkpage (+  -10  32) "Definition" "subobject classifier")
;; (find-maclanemoerdijkpage (+  -13  38) "Sieve on C =")
;; (find-maclanemoerdijkpage (+  -13  38) "Omega(C) =")
;;
(code-djvutotext "maclanemoerdijk" "~/books/__cats/maclane_moerdijk__sheaves_in_geometry_and_logic.djvu")
;; (find-maclanemoerdijktext)
;;
;; http://gigapedia.org/items/39282/models-for-smooth-infinitesimal-analysis
(code-djvu "moerdijkreyes"   "~/books/__cats/moerdijk_reyes__models_for_smooth_infinitesimal_analysis.djvu")
;; (find-moerdijkreyespage        8 "Contents")
;; (find-moerdijkreyespage (+ 9  24) "I.2. Manifolds as Cinfty-rings")
;; (find-moerdijkreyespage (+ 9  27) "transversal")
;; (find-moerdijkreyespage (+ 9 387) "Index")
;;
;; http://gigapedia.com/items/81450/classifying-spaces-and-classifying-topoi--lecture-notes-in-mathematics-
(code-djvu "moerdijkcsct" "~/books/__cats/moerdijk__classifying_spaces_and_classifying_topoi.djvu")
;; (find-moerdijkcsctpage       6  "Contents")
;; (find-moerdijkcsctpage (+ 6 92) "Index")


;; «pedicchio» (to ".pedicchio")
;; (find-books "__cats/__cats.el" "pedicchio")
(code-djvu       "catfoundations" "~/books/__cats/pedicchio_tholen__categorical_foundations.djvu")
(code-djvutotext "catfoundations" "~/books/__cats/pedicchio_tholen__categorical_foundations.djvu" 16)
;; (find-catfoundationspage)
;; (find-catfoundationspage        3  "Contents")
;; (find-catfoundationspage        7  "Contents")
;; (find-catfoundationspage (+ 1 189) "Index")
;; (find-catfoundationstext "")

;; (find-catfoundationspage 242 "2. Conditions for monadicity")
;; (find-catfoundationstext 242 "2. Conditions for monadicity")
;; (find-catfoundationspage 247 "2. Conditions for monadicity")
;; (find-catfoundationstext 247 "2. Conditions for monadicity")
;; (find-catfoundationspage (+ 16 226) "2. Conditions for monadicity")
;; (find-catfoundationstext (+ 16 226) "2. Conditions for monadicity")



;; «pierce»  (to ".pierce")
;; (find-books "__cats/__cats.el" "pierce")
(code-pdf       "bctcs" "~/books/__cats/pierce__basic_category_theory_for_computer_scientists.pdf")
(code-pdftotext "bctcs" "~/books/__cats/pierce__basic_category_theory_for_computer_scientists.pdf" 1)
;; (find-bctcspage)
;; (find-bctcspage        7  "Contents")
;; (find-bctcspage (+ 12  1) "1 Basic Constructions")
;; (find-bctcstext (+ 12  1)    "Basic Constructions")
;; (find-bctcspage (+ 12  1) "1.1 Categories")
;; (find-bctcspage (+ 12 10) "1.2 Diagrams")
;; (find-bctcspage (+ 12 13) "1.3 Monomorphisms, Epimorphisms, and Isomorphisms")
;; (find-bctcspage (+ 12 16) "1.4 Initial and Terminal Objects")
;; (find-bctcspage (+ 12 17) "1.5 Products")
;; (find-bctcspage (+ 12 20) "1.6 Universal Constructions")
;; (find-bctcspage (+ 12 21) "1.7 Equalizers")
;; (find-bctcspage (+ 12 22) "1.8 Pullbacks")
;; (find-bctcspage (+ 12 26) "1.9 Limits")
;; (find-bctcspage (+ 12 33) "1.10 Exponentiation")
;; (find-bctcspage (+ 12 36) "2 Functors, Natural Transformations, and Adjoints")
;; (find-bctcspage (+ 12 36) "2.1 Functors")
;; (find-bctcspage (+ 12 39) "2.2 F-Algebras")
;; (find-bctcspage (+ 12 41) "2.3 Natural Transformations")
;; (find-bctcspage (+ 12 45) "2.4 Adjoints")
;; (find-bctcspage (+ 12 53) "3 Applications")
;; (find-bctcspage (+ 12 53) "3.1 Cartesian Closed Categories")
;; (find-bctcspage (+ 12 57) "3.2 Implicit Conversions and Generic Operators")
;; (find-bctcspage (+ 12 59) "3.3 Programming Language Semantics")
;; (find-bctcspage (+ 12 61) "3.4 Recursive Domain Equations")
;; (find-bctcspage (+ 12 73) "4 Further Reading")
;; (find-bctcspage (+ 12 73) "4.1 Textbooks")
;; (find-bctcspage (+ 12 74) "4.2 Introductory Articles")
;; (find-bctcspage (+ 12 76) "4.3 Reference Books")
;; (find-bctcspage (+ 12 78) "4.4 Selected Research Articles")
;; (find-bctcspage (+ 12 95) "Index")
;; (find-bctcstext "")



;; «power» (to ".power")
;; (find-books "__cats/__cats.el" "power")
(code-pdf       "power2catpast" "~/books/__cats/power__a_2-categorical_pasting_theorem.pdf")
(code-pdftotext "power2catpast" "~/books/__cats/power__a_2-categorical_pasting_theorem.pdf" -438)
;; (find-power2catpastpage (+ -438 439) "1. Introduction")
;; (find-power2catpasttext "")

;; «pym-ritter»  (to ".pym-ritter")
;; http://gigapedia.com/items/100288/reductive-logic-and-proof-search--proof-theory--semantics--and-control--oxford-logic-guides--45-
(code-xpdf      "pymritter" "~/books/__cats/pym_ritter__reductive_logic_and_proof_search.pdf")
(code-pdftotext "pymritter" "~/books/__cats/pym_ritter__reductive_logic_and_proof_search.pdf")
;; (find-pymritterpage 1)
;; (find-pymritterpage (+ 1 1))
;; (find-pymrittertext)


;; «reyes»  (to ".reyes")
;; (find-LATEX "catsem.bib" "bib-Reyes")
;; Reyes and Zolfaghari:
;; http://gigapedia.com/items/255198/generic-figures-and-their-glueings--a-constructive-approach-to-functor-categories
(code-djvu "reyeszolf" "~/books/__cats/reyes_zolfaghari__generic_figures_and_their_glueings.djvu")
;; (find-reyeszolfpage         5  "Contents")
;; (find-reyeszolfpage (+ -2  29) "2. Representable C-Sets and Yoneda Lemma")
;; (find-reyeszolfpage (+ -2 185) "11. Geometric morphisms")
;; (find-reyeszolfpage (+ -2 194) "11.3. Essential geometric morphisms")
;; (find-reyeszolfpage (+ -2 198) "11.4. Geometric morphisms in examples")
;; (find-reyeszolfpage (+ -2 250) "13.3.1. A categorical approach to modal operators")
;; (find-reyeszolfpage (+ -2 273) "Index")
;; (to "slnm1448")
;;
;; (find-angg ".emacs" "caderno")
;; (find-caderno2page 51  "RRZ's book is centered on presheaves")

;; «riehl» (to ".riehl")
;; (find-books "__cats/__cats.el" "riehl")
;; http://www.math.jhu.edu/~eriehl/
;; http://www.math.jhu.edu/~eriehl/context.pdf
;; (find-fline "$S/http/www.math.jhu.edu/~eriehl/")
(code-xpdf     "riehlcc" "$S/http/www.math.jhu.edu/~eriehl/context.pdf")
(code-pdf-text "riehlcc" "$S/http/www.math.jhu.edu/~eriehl/context.pdf" 18)
;; (find-riehlccpage)
;; (find-riehlcctext)
;; (find-riehlccpage 7 "Contents")
;; (find-riehlcctext)
;; (find-riehlccpage (+ 18 1) "1. Categories, Functors, Natural Transformations")
;; (find-riehlccpage (+ 18 3) "1.1. Abstract and concrete categories")
;; (find-riehlccpage (+ 18 9) "1.2. Duality")
;; (find-riehlccpage (+ 18 13) "1.3. Functoriality")
;; (find-riehlccpage (+ 18 23) "1.4. Naturality")
;; (find-riehlccpage (+ 18 29) "1.5. Equivalence of categories")
;; (find-riehlccpage (+ 18 36) "1.6. The art of the diagram chase")
;; (find-riehlccpage (+ 18 44) "1.7. The 2-category of categories")
;; (find-riehlccpage (+ 18 49) "2. Universal Properties, Representability, and the Yoneda Lemma")
;; (find-riehlccpage (+ 18 50) "2.1. Representable functors")
;; (find-riehlccpage (+ 18 55) "2.2. The Yoneda lemma")
;; (find-riehlccpage (+ 18 62) "2.3. Universal properties and universal elements")
;; (find-riehlccpage (+ 18 66) "2.4. The category of elements")
;; (find-riehlccpage (+ 18 73) "3. Limits and Colimits")
;; (find-riehlccpage (+ 18 74) "3.1. Limits and colimits as universal cones")
;; (find-riehlccpage (+ 18 84) "3.2. Limits in the category of sets")
;; (find-riehlccpage (+ 18 90) "3.3. Preservation, reflection, and creation of limits and colimits")
;; (find-riehlccpage (+ 18 93) "3.4. The representable nature of limits and colimits")
;; (find-riehlccpage (+ 18 99) "3.5. Complete and cocomplete categories")
;; (find-riehlccpage (+ 18 106) "3.6. Functoriality of limits and colimits")
;; (find-riehlccpage (+ 18 109) "3.7. Size matters")
;; (find-riehlccpage (+ 18 110) "3.8. Interactions between limits and colimits")
;; (find-riehlccpage (+ 18 115) "4. Adjunctions")
;; (find-riehlccpage (+ 18 116) "4.1. Adjoint functors")
;; (find-riehlccpage (+ 18 122) "4.2. The unit and counit as universal arrows")
;; (find-riehlccpage (+ 18 126) "4.3. Contravariant and multivariable adjoint functors")
;; (find-riehlccpage (+ 18 132) "4.4. The calculus of adjunctions")
;; (find-riehlccpage (+ 18 136) "4.5. Adjunctions, limits, and colimits")
;; (find-riehlccpage (+ 18 143) "4.6. Existence of adjoint functors")
;; (find-riehlccpage (+ 18 153) "5. Monads and their Algebras")
;; (find-riehlccpage (+ 18 154) "5.1. Monads from adjunctions")
;; (find-riehlccpage (+ 18 158) "5.2. Adjunctions from monads")
;; (find-riehlccpage (+ 18 166) "5.3. Monadic functors")
;; (find-riehlccpage (+ 18 168) "5.4. Canonical presentations via free algebras")
;; (find-riehlccpage (+ 18 173) "5.5. Recognizing categories of algebras")
;; (find-riehlccpage (+ 18 180) "5.6. Limits and colimits in categories of algebras")
;; (find-riehlccpage (+ 18 189) "6. All Concepts are Kan Extensions")
;; (find-riehlccpage (+ 18 190) "6.1. Kan extensions")
;; (find-riehlccpage (+ 18 193) "6.2. A formula for Kan extensions")
;; (find-riehlccpage (+ 18 199) "6.3. Pointwise Kan extensions")
;; (find-riehlccpage (+ 18 204) "6.4. Derived functors as Kan extensions")
;; (find-riehlccpage (+ 18 209) "6.5. All concepts")
;; (find-riehlccpage (+ 18 217) "Epilogue: Theorems in Category Theory")
;; (find-riehlccpage (+ 18 217) "E.1. Theorems in basic category theory")
;; (find-riehlccpage (+ 18 219) "E.2. Coherence for symmetric monoidal categories")
;; (find-riehlccpage (+ 18 221) "E.3. The universal property of the unit interval")
;; (find-riehlccpage (+ 18 222) "E.4. A characterization of Grothendieck toposes")
;; (find-riehlccpage (+ 18 223) "E.5. Embeddings of abelian categories")
;; (find-riehlccpage (+ 18 225) "Bibliography")
;; (find-riehlccpage (+ 18 229) "Catalog of Categories")
;; (find-riehlccpage (+ 18 231) "Glossary of Notation")



;; «smith» (to ".smith")
;; Peter Smith: "Category Theory: A Gentle Introduction"
;; http://www.logicmatters.net/categories/
;; http://www.logicmatters.net/resources/pdfs/GentleIntro.pdf
;; (find-fline "$S/http/www.logicmatters.net/resources/pdfs/")
(code-xpdf     "smithctgi" "$S/http/www.logicmatters.net/resources/pdfs/GentleIntro.pdf")
(code-pdf-text "smithctgi" "$S/http/www.logicmatters.net/resources/pdfs/GentleIntro.pdf")
;; (find-smithctgipage)
;; (find-smithctgitext)

;; «taylor»  (to ".taylor")
(code-xpdf "taylorpractfound" "~/books/__cats/taylor__practical_foundations_of_mathematics.pdf")
;; (find-taylorpractfoundpage      1  "Contents")
;; (find-taylorpractfoundpage (+ 1 1) "Index")

;; «tennison»  (to ".tennison")
(code-djvu "tennison" "~/books/__cats/tennison__sheaf_theory.djvu")
;; (find-tennisonpage        1  "Contents")
;; (find-tennisonpage (+ 8 159) "Index")

;; «van_oosten»  (to ".van_oosten")
;; http://www.staff.science.uu.nl/~ooste110/
;; http://www.staff.science.uu.nl/~ooste110/realizability/johnstonereview.PDF
;; http://www.staff.science.uu.nl/~ooste110/realizability/johnstonereply.pdf
(code-xpdf      "oostenrealizbook" "~/books/__cats/van_oosten__realizability_an_introduction_to_its_categorical_side.pdf")
(code-pdftotext "oostenrealizbook" "~/books/__cats/van_oosten__realizability_an_introduction_to_its_categorical_side.pdf")
;; (find-oostenrealizbookpage        10  "Introduction")
;; (find-oostenrealizbookpage        14  "Contents")
;; (find-oostenrealizbookpage (+ 17 138) "Eff as a universal construction")
;; (find-oostenrealizbookpage (+ 17 193) "Per models")
;; (find-oostenrealizbookpage (+ 17 291) "Bibliography")
;; (find-oostenrealizbookpage (+ 17 305) "Index")
;; (find-oostenrealizbooktext)

;; «vickers»  (to ".vickers")
;; http://gigapedia.org/items/118600/topology-via-logic--cambridge-tracts-in-theoretical-computer-science-
(code-djvu "vickerstopvialogic" "~/books/__cats/vickers__topology_via_logic.djvu")
;; (find-vickerstopvialogicpage         3  "Contents")
;; (find-vickerstopvialogicpage (+ 11   1) "Chapter one")
;; (find-vickerstopvialogicpage (+ 11 181) "12. Spectra of rings")
;; (find-vickerstopvialogicpage (+ 11 191) "Bibliography")
;; (find-vickerstopvialogicpage (+ 11 196) "Index")





;; «slnm0274»  (to ".slnm0274")
(code-djvu "slnm0274" "~/books/__cats/lawvere_ed__toposes_algebraic_geometry_and_logic_slnm0274.djvu")
;; (find-slnm0274page       4  "Contents")
;; (find-slnm0274page (+ 5 43) "Classifying Topos" "Jean Giraud")
;; (find-slnm0274page (+ 5 57) "Deductive systems and categories III" "Joachim Lambek")

;; «slnm0753»  (to ".slnm0753")
;; «fourman» (to ".fourman")
;; (find-LATEX "catsem.bib" "bib-Fourman")
;; http://gigapedia.com/items/102442/applications-of-sheaves--proceedings-of-the-research-symposium-on-applications-of-sheaf-theory-to-logic--algebra-and-analysis--durham--july-9-21--1977
(code-xpdf "slnm0753" "~/books/__cats/fourman_mulvey_scott_eds__applications_of_sheaves_slnm0753.pdf")
;; (find-slnm0753page         5  "Contents")
;; (find-slnm0753page (+ 14 302) "Sheaves and Logic" "Fourman" "Scott")
;; (find-slnm0753page (+ 14 313)   "Various finite distributive lattices")
;; (find-slnm0753page (+ 14 318)   "2. Morphisms and quotients")
;; (find-slnm0753page (+ 14 321)   "The image of a cHa under a cHa morphism is again a cHa")
;; (find-slnm0753page (+ 14 324)   "Congruence relations")
;; (find-slnm0753page (+ 14 324)   "J-operators")
;; (find-slnm0753page (+ 14 325)   "The fixed points of a multiplicative operator on a cHa form a cHa")
;; (find-slnm0753page (+ 14 329)   "2.17 Lemma." "least J-operator")
;; (find-slnm0753page (+ 14 329)   "2.18 Elementary J-operators")
;; (find-slnm0753page (+ 14 330)   "The forcing quotient")
;; (find-slnm0753page (+ 14 331)   "(i) J_a v J_b = J_avb")
;; (find-slnm0753page (+ 14 331)   "polynomial")
;; (find-slnm0753page (+ 14 333)   "THE ALGEBRA OF PROPOSITIONS")
;; (find-slnm0753page (+ 14 339)   "4. Omega-sets and sheaves")
;; (find-slnm0753page (+ 14 353)   "4.19 (ii) Presheaves as sheaves")
;; (find-slnm0753page (+ 14 399)   "Bibliography")
;; (find-slnm0753page (+ 14 660) "Dana Scott")

;; «slnm1348»  (to ".slnm1348")
;; http://gigapedia.com/items/88817/categorical-algebra-and-its-applications
(code-djvu "slnm1348" "~/books/__cats/borceux_ed__categorical_algebra_and_its_applications_slnm1348.djvu")
;; (find-slnm1348page         4  "Contents")
;; (find-slnm1348page (+ 20 221) "On the Unity of Algebra and Logic" "J. Lambek")

;; «slnm1448»  (to ".slnm1448")
;; Carboni, Pedicchio, Rosolini, eds.: "Category Theory (Proceedings..., Como 1990)" (SLNM 1488)
(code-djvu "ctcomo90" "~/books/__cats/carboni_pedicchio_rosolini_eds__category_theory_slnm1488.djvu")
(code-djvu "slnm1488" "~/books/__cats/carboni_pedicchio_rosolini_eds__category_theory_slnm1488.djvu")
;; (find-ctcomo90page         5  "Table of Contents")
;; (find-ctcomo90page (+  8 157) "Precategories and Galois Theory")
;; (find-ctcomo90page (+ 14 359) "Topos-theoreric approaches to modality")
;; (to "reyes")

;; «slnm1915»  (to ".slnm1915")
;; http://gigapedia.org/items/88814/categorical-aspects-of-topology-and-analysis--proceedings-of-an-international-conference-held-at-carleton-university--ottawa--august-11-15--1981--lecture-notes-in-mathematics-
;; Banaschewski, ed.: "Categorical Aspects of Topology and Analysis" (SLNM 1915)
(code-djvu "cataspoftaa" "~/books/__cats/banaschewski_ed__categorical_aspects_of_topology_and_analysis.djvu")
;; (find-cataspoftaapage 4 "Contents")
;; (find-cataspoftaapage (+ -3 310) "Simmons")


;; slnm 0445: contains wraith's article
;; http://gigapedia.com/items/108113/model-theory-and-topoi--a-collection-of-lectures-by-various-authors
(code-djvu       "slnm0445" "~/books/__cats/lawvere_maurer_wraith__model_theory_and_topoi_a_collection_of_lectures_by_various_authors_slnm0445.djvu")
(code-djvutotext "slnm0445" "~/books/__cats/lawvere_maurer_wraith__model_theory_and_topoi_a_collection_of_lectures_by_various_authors_slnm0445.djvu")
;; (find-slnm0445page      1  "Contents")
;; (find-slnm0445page (+ -1 114) "Index")
;; (find-slnm0445page (+ -3 297) "Index")
;; (find-slnm0445text "")

;; Makkai:
;; http://gigapedia.com/items/102448/first-order-categorical-logic--model-theoretical-methods-in-the-theory-of-topoi-and-related-categories

;; http://gigapedia.com/items/339844/category-theory-and-computer-programming--tutorial-and-workshop--guildford--u-k---september-16---20--1985--proceedings--lecture-notes-in-computer-science-
;; http://gigapedia.com/items/4498/computational-category-theory--prentice-hall-international-series-in-computer-science-
;; http://gigapedia.com/items/339847/category-theory-and-computer-science--edinburgh--uk--september-7-9--1987--proceedings--lecture-notes-in-computer-science-
;; http://gigapedia.com/items/339848/category-theory-and-computer-science--manchester--uk--september-5-8--1989--proceedings--lecture-notes-in-computer-science-
;; http://gigapedia.com/items/339849/category-theory-and-computer-science--6th-international-conference--ctcs---039-95--cambridge--united-kingdom--august-7---11--1995--proceedings--lecture-notes-in-computer-science-
;; http://gigapedia.com/items/339851/category-theory-and-computer-science--paris--france--september-3-6--1991--proceedings--lecture-notes-in-computer-science-








;;
;; Local Variables:
;; mode:   emacs-lisp
;; coding: raw-text-unix
;; ee-anchor-format:     "«%s»"
;; End: