CatDat/database/data/config.yaml at main · ScriptRaccoon/CatDat · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
structure_tags:
  - algebra
  - algebraic geometry
  - analysis
  - category theory
  - combinatorics
  - graph theory
  - logic
  - number theory
  - order theory
  - relational structures
  - set theory
  - topology

category_tags: []

functor_tags:
  - forgetful
  - free

morphism_tags: []

symmetric_monoidal_category_tags: []

category_property_tags:
  - limits
  - colimits
  - limit–colimit interaction
  - morphism behavior
  - object behavior
  - size
  - algebraicity
  - accessibility
  - topos theory
  - abelian
  - congruences
  - misc
  - evil

functor_property_tags:
  - limit preservation
  - colimit preservation
  - morphism behavior
  - object behavior
  - adjunctions
  - invertibility
  - misc

morphism_property_tags:
  - types of monomorphisms
  - types of epimorphisms
  - invertibility
  - misc

symmetric_monoidal_category_property_tags:
  - tensor–colimit interaction
  - tensor–limit interaction
  - degeneracy
  - misc

relations:
  - relation: is
    negation: is not
    conditional: would be
  - relation: is a
    negation: is not a
    conditional: would be a
  - relation: is an
    negation: is not an
    conditional: would be an
  - relation: has
    negation: does not have
    conditional: would have
  - relation: has a
    negation: does not have a
    conditional: would have a
  - relation: has an
    negation: does not have an
    conditional: would have an
  - relation: satisfies
    negation: does not satisfy
    conditional: would satisfy
  - relation: preserves
    negation: does not preserve
    conditional: would preserve

special_objects:
  - kind: terminal object
    dual: initial object
  - kind: initial object
    dual: terminal object
  - kind: products
    dual: coproducts
  - kind: coproducts
    dual: products

# morphism properties; the dual of each one must be listed as well
special_morphisms:
  - isomorphism
  - monomorphism
  - epimorphism
  - regular monomorphism
  - regular epimorphism