Categories for piecewise functions

[mkoeppe]

References:

• http://doc.sagemath.org/html/en/reference/categories/sage/categories/primer.html
• https://trac.sagemath.org/wiki/CategoriesRoadMap
• http://doc.sagemath.org/html/en/reference/categories/sage/categories/category.html
• http://doc.sagemath.org/html/en/reference/categories/sage/categories/facade_sets.html
• http://doc.sagemath.org/html/en/reference/categories/sage/categories/sets_cat.html#facade-sets
• http://doc.sagemath.org/html/en/thematic_tutorials/coercion_and_categories.html
• a random list of semi-related tickets: Finite dimensional modules with basis: improved conversions to vectors and matrices #18310, Explain the rationale for having both categories and a hierarchy of Cython abstract classes for Parents and Elements #16427, Meta-ticket: Deprecate CombinatorialClass in favor of the EnumeratedSet's categories #12913, Categories for finite (enumerated) sets #12957, x in IntegralDomains() should refine category #15183, Multiplication of additive semigroup elements by nonnegative integers #16384, Move coercion to Element #20767

References for PL and PD manifolds:

• http://people.math.harvard.edu/~lurie/287xnotes/Lecture17.pdf
• Michael Penna, Diff. Geom on simplicial spaces, https://www.ams.org/journals/tran/1975-214-00/S0002-9947-1975-0391146-5/S0002-9947-1975-0391146-5.pdf

Component: categories

Issue created by migration from https://trac.sagemath.org/ticket/21709

[mkoeppe]

comment:1

also: PL and PD manifolds