Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Created a stub tangent bundle categories as a link target to be disambiguated from tangent categories (with a hatnote at the latter). What I’m calling “tangent bundle categories” here are usually called just “tangent categories”, but that clashes with our page tangent category, so I invented a variation. Better suggestions are welcome.
I added a couple of references.
If we were serious about writing up the work of this program, we’d have an entry for ’cartesian differential category’, etc. But we were having a discussion of its merits with regard to those of differential cohesion a year ago.
I have no intent to write up the work of this program (though of course I would have no objection if anyone else wanted to). I just created the stub so that the link from enriched category would have somewhere to point, and I created the latter because I want its list of examples to be as comprehensive as possible, including in particular lots of examples that don’t “obviously” look like enriched categories.
I see the Saturday of the CT Octoberfest is bookended by the two approaches.
1 to 4 of 4