summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/borceux.tlpsrc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/tlpsrc/borceux.tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/borceux.tlpsrc12
1 files changed, 12 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/borceux.tlpsrc b/Master/tlpkg/tlpsrc/borceux.tlpsrc
new file mode 100644
index 00000000000..2ae2297dbdc
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/borceux.tlpsrc
@@ -0,0 +1,12 @@
+name borceux
+category Package
+shortdesc Diagram macros by Francois Borceux.
+longdesc The Diagram macros realize the construction of diagrams as those
+longdesc appearing in category theory texts. The user gives the list of
+longdesc vertices and arrows to be included, just as when composing a
+longdesc matrix, and the program takes care of computing the dimensions of
+longdesc the arrows and realizing the pagesetting. All the user has to do
+longdesc about the arrows is precising their type (monomorphism, pair of
+longdesc adjoint arrows,\ldots) and their direction (north, south-
+longdesc east,...): 12 types and 32 directions are available; see figures~1
+longdesc and 3 for exhaustive lists.