rnhmjoj/category-theory-for-programmers
1
0
Fork 0
Code Issues 1 Pull Requests Releases Wiki Activity

remove titles

Browse Source
This commit is contained in:
Michele Guerini Rocco 2017-09-06 02:09:34 +02:00
parent 62e3f5a3a7
commit d3d9c89eb2
Signed by: rnhmjoj
GPG Key ID: 91BE884FBA4B591A
32 changed files with 31 additions and 62 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/init/cover.html
View File

@ -3,7 +3,7 @@
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
<title>Category Theory for Programmers</title>
<title>Category Theory for Programmers</title>
<style>
@import url("../fonts/noto-serif.css");

1
src/init/table.html
View File

@ -2,7 +2,6 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
<title>Category Theory for Programmers: Table of Contents</title>
<link rel="stylesheet" href="../style.css">
<style>
ol {

3
src/part-1/chapter-1.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Category: The Essence of Composition</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-1/chapter-10.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Natural transformations</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-1/chapter-2.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Types and Functions</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-1/chapter-3.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Categories Great and Small</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-1/chapter-4.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Kleisli Categories</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-1/chapter-5.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Products and Coproducts</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-1/chapter-6.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Simple Algebraic Data Types</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-1/chapter-7.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Functors</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-1/chapter-8.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Functoriality</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-1/chapter-9.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Function Types</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-2/chapter-1.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Declarative Programming</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-2/chapter-2.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Limits and Colimits</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-2/chapter-3.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Free Monoids</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-2/chapter-4.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Representable Functors</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-2/chapter-5.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>The Yoneda Lemma</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-2/chapter-6.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Yoneda Embedding</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-3/chapter-1.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>It’s All About Morphisms </title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-3/chapter-10.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>End and Coends</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-3/chapter-11.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Kan Extensions</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-3/chapter-12.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Enriched Categories</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-3/chapter-13.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Topoi</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-3/chapter-14.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Lawvere Theories</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-3/chapter-2.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Adjunctions</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-3/chapter-3.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Free Monoid from Adjunction</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-3/chapter-4.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Monads: Programmer’s Definition</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-3/chapter-5.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Monads and Effects</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-3/chapter-6.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Monads Categorically</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-3/chapter-7.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Comonads</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-3/chapter-8.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>F-Algebras</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>

3
src/part-3/chapter-9.html
View File

@ -2,8 +2,7 @@
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Algebras for Monads</title>
<meta charset="utf-8"/>
<link rel="stylesheet" href="../style.css">
</head>