mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fixed LaTeX conversion issue.

Browse Source
This commit is contained in:
gheber 2016-03-13 17:43:00 -05:00
parent b30d55c232
commit 8567198956
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/Chapter12.ipynb
View File

@ -49,7 +49,7 @@
"The total space associated to a twisting operator is constructed by the function `fibration-total`.\n",
"\n",
"`fibration-total` *fibration* *[Function]*\n",
"> Build the simplicial set, total space of the fibration. This function extracts from the simplicial morphism *fibration* (a previously defined twisting operator), the base space (a simplicial set) and the fiber space (a simplicial group) and constructs the twisted cartesian product of these simplicial sets. The face function is built using the internal function `fibration-total-face`. The non-degenerate simplices of the total space are coded exactly as those of the non-twisted product ($ B \\times {\\cal G}$) obtained by the lisp call `(crts-prdc` *base* *fiber*`)`. This non-twisted cartesian product is saved into the slot `grmd` (graded module) of the instance object. If the base space and the fiber space are both of type `KAN`, then the filling function is computed y the internal function `fibration-kfll` and the function `fibration-total` returns an object of type `KAN`.\n",
"> Build the simplicial set, total space of the fibration. This function extracts from the simplicial morphism *fibration* (a previously defined twisting operator), the base space (a simplicial set) and the fiber space (a simplicial group) and constructs the twisted cartesian product of these simplicial sets. The face function is built using the internal function `fibration-total-face`. The non-degenerate simplices of the total space are coded exactly as those of the non-twisted product ($B \\times {\\cal G}$) obtained by the lisp call `(crts-prdc` *base* *fiber*`)`. This non-twisted cartesian product is saved into the slot `grmd` (graded module) of the instance object. If the base space and the fiber space are both of type `KAN`, then the filling function is computed y the internal function `fibration-kfll` and the function `fibration-total` returns an object of type `KAN`.\n",
"\n",
"### Examples"
]