A database of categories
| Revision | 261611b5582bc5c6ad6404542aae7ed5828960a0 (tree) |
|---|---|
| Time | 2021-09-23 04:54:08 |
| Author | Corbin <cds@corb...> |
| Commiter | Corbin |
Sweeten up full subcategories.
templates/row-catabase-full_subcategories.html (diff)
todo.txt (diff)| @@ -4,16 +4,22 @@ | ||
| 4 | 4 | |
| 5 | 5 | {% set sub = display_rows[0]["subcategory"] %} |
| 6 | 6 | {% set sup = display_rows[0]["supercategory"] %} |
| 7 | +{% set sub_rows = sql("select * from categories where name = ?", [sub]) %} | |
| 8 | +{% set sup_rows = sql("select * from categories where name = ?", [sup]) %} | |
| 9 | +{% set sub_objs = sub_rows[0]["objects_hr"] %} | |
| 10 | +{% set sup_objs = sup_rows[0]["objects_hr"] %} | |
| 11 | +{% set sub_arrs = sub_rows[0]["arrows_hr"] %} | |
| 12 | +{% set sup_arrs = sup_rows[0]["arrows_hr"] %} | |
| 7 | 13 | |
| 8 | 14 | <h1>Full Subcategory: {{ sub }} ⊊ {{ sup }}</h1> |
| 9 | 15 | |
| 10 | -<p>{{ sub }} is a full subcategory of {{ sup }}. When any two objects of | |
| 11 | -{{ sup }} are in {{ sub }}, so is every arrow between them. Put another way, | |
| 12 | -{{ sub }} has only some of the objects of {{ sup }}, but all of the | |
| 13 | -arrows.</p> | |
| 16 | +<p>{{ sub }} is a full subcategory of {{ sup }}. When any two {{ sup_objs }} | |
| 17 | +of {{ sup }} are {{ sub_objs }} in {{ sub }}, all {{ sup_arrs }} between them | |
| 18 | +are {{ sub_arrs }} in {{ sub }} too. Put another way, {{ sub }} has only some | |
| 19 | +of the objects of {{ sup }}, but all of the arrows.</p> | |
| 14 | 20 | |
| 15 | -<p>In terms of stuff, structure, and properties, objects of {{ sub }} are like | |
| 16 | -objects of {{ sup }} but with extra properties.</p> | |
| 21 | +<p>In terms of stuff, structure, and properties, {{ sub_objs }} are like | |
| 22 | +{{ sup_objs }} but with extra properties.</p> | |
| 17 | 23 | |
| 18 | 24 | {{ super() }} |
| 19 | 25 | {% endblock %} |
| @@ -22,12 +22,12 @@ | ||
| 22 | 22 | * Topoi <-> categories of sheaves on spaces |
| 23 | 23 | * CCCs: DagCat, ... |
| 24 | 24 | * Dismantle `enrichments` |
| 25 | + * Already banned: Set, Cat | |
| 25 | 26 | * Give 2-categories their own table and `natural_transformations_hr` for |
| 26 | 27 | a row template page |
| 27 | 28 | * Manage Evil |
| 28 | 29 | * 2-categories are more Evil than bicategories |
| 29 | 30 | * Double categories should be weak by default |
| 30 | - * Dagger categories should be equipped with structure | |
| 31 | 31 | * Upstream work |
| 32 | 32 | * Indexing for categories: Field, nCob, Vect_k, Mat_R, Mod(Ab) |
| 33 | 33 | * Field and nCob are disconnected by index! |
Fork