| .. |
|
antisymmetry.svg
|
Orders WIP
|
2021-02-11 13:53:19 +02:00 |
|
arrows_one_arrow.svg
|
Orders as categories
|
2021-02-24 18:39:55 +02:00 |
|
balls.svg
|
stuff
|
2023-05-11 01:01:01 +03:00 |
|
binary_relation_product.svg
|
stuff
|
2021-12-25 18:31:58 +02:00 |
|
binary_relation.svg
|
stuff
|
2021-12-25 18:31:58 +02:00 |
|
color_mixing_lattice.svg
|
stuff
|
2021-03-26 20:50:48 +02:00 |
|
color_mixing_poset_blend.svg
|
stuff
|
2021-03-22 18:47:11 +02:00 |
|
color_mixing_poset_inclusion_subsets.svg
|
stuff
|
2021-03-22 18:47:11 +02:00 |
|
color_mixing_poset_inclusion.svg
|
stuff
|
2021-03-05 17:28:50 +02:00 |
|
color_mixing_poset_join.svg
|
stuff
|
2021-03-22 18:47:11 +02:00 |
|
color_mixing_poset.svg
|
stuff
|
2021-03-26 20:50:48 +02:00 |
|
concept-attributes.svg
|
stuff
|
2023-05-11 01:01:01 +03:00 |
|
concept-function.svg
|
stuff
|
2023-05-11 01:01:01 +03:00 |
|
concept-incidense.svg
|
stuff
|
2023-05-11 01:01:01 +03:00 |
|
concept-lattice.svg
|
stuff
|
2023-05-11 01:01:01 +03:00 |
|
concept-objects.svg
|
stuff
|
2023-05-11 01:01:01 +03:00 |
|
connexity.svg
|
massive update - chapters 1 and 2
|
2021-12-09 21:33:37 +02:00 |
|
coproduct_inclusion.svg
|
stuff
|
2021-03-22 18:47:11 +02:00 |
|
coproduct_join_morphisms.svg
|
Logic chapter finished
|
2021-08-17 23:10:45 +03:00 |
|
coproduct_join.svg
|
stuff
|
2021-03-22 18:47:11 +02:00 |
|
coproduct_morphisms.svg
|
stuff
|
2023-07-19 01:14:43 +03:00 |
|
divides_poset_inclusion.svg
|
stuff
|
2021-10-14 12:35:39 +03:00 |
|
divides_poset_isomorphism.svg
|
stuff
|
2021-10-14 12:35:39 +03:00 |
|
divides_poset_meet.svg
|
stuff
|
2021-10-14 12:35:39 +03:00 |
|
divides_poset.svg
|
stuff
|
2021-10-14 12:35:39 +03:00 |
|
functor_programming_objects.svg
|
stuff
|
2021-12-25 18:31:58 +02:00 |
|
general_linear_order.svg
|
Orders WIP
|
2021-02-11 13:53:19 +02:00 |
|
hasse.svg
|
stuff
|
2021-10-14 12:35:39 +03:00 |
|
join_additional_element.svg
|
stuff
|
2021-02-14 13:06:16 +02:00 |
|
join_other_elements.svg
|
stuff
|
2021-03-05 17:28:50 +02:00 |
|
join.svg
|
stuff
|
2021-02-14 13:06:16 +02:00 |
|
lattice_meet_join.svg
|
stuff
|
2021-10-14 12:35:39 +03:00 |
|
linear_order_isomorphism.svg
|
stuff
|
2021-10-14 12:35:39 +03:00 |
|
linear_order.svg
|
stuff
|
2021-12-25 18:31:58 +02:00 |
|
meet.svg
|
Preorder
|
2021-02-23 12:00:33 +02:00 |
|
non_join_fix.svg
|
stuff
|
2021-02-14 13:06:16 +02:00 |
|
non_join.svg
|
stuff
|
2021-02-14 13:06:16 +02:00 |
|
non_maximal_element.svg
|
Preorder
|
2021-02-23 12:00:33 +02:00 |
|
numbers.svg
|
stuff
|
2021-10-14 12:35:39 +03:00 |
|
order_category.svg
|
stuff
|
2021-10-14 12:35:39 +03:00 |
|
player_order_leftover.svg
|
stuff
|
2021-10-14 12:35:39 +03:00 |
|
player_order_linear.svg
|
stuff
|
2021-10-14 12:35:39 +03:00 |
|
player_order_two_join.svg
|
stuff
|
2021-10-14 12:35:39 +03:00 |
|
player_order_two.svg
|
stuff
|
2021-10-14 12:35:39 +03:00 |
|
preorder_equivalence.svg
|
stuff
|
2021-12-25 18:31:58 +02:00 |
|
preorder_map_equivalence.svg
|
stuff
|
2021-10-31 02:21:39 +03:00 |
|
preorder_map.svg
|
stuff
|
2021-10-31 02:21:39 +03:00 |
|
preorder_partial_order.svg
|
stuff
|
2021-12-25 18:31:58 +02:00 |
|
preorder_sports.svg
|
stuff
|
2021-10-31 02:21:39 +03:00 |
|
preorder_state_machine.svg
|
stuff
|
2021-10-31 02:21:39 +03:00 |
|
preorder.svg
|
stuff
|
2021-10-14 12:35:39 +03:00 |
|
reflexivity.svg
|
massive update - chapters 1 and 2
|
2021-12-09 21:33:37 +02:00 |
|
semilattice_tree.svg
|
stuff
|
2021-10-14 12:35:39 +03:00 |
|
semilattice.svg
|
stuff
|
2021-03-26 20:50:48 +02:00 |
|
set_arrows.svg
|
stuff
|
2021-11-08 18:19:26 +02:00 |
|
transitivity_composition.svg
|
Orders as categories
|
2021-02-24 18:39:55 +02:00 |
|
transitivity.svg
|
Orders WIP
|
2021-02-11 13:53:19 +02:00 |
|
tree-organization.svg
|
stuff
|
2023-05-11 01:01:01 +03:00 |
|
tree.svg
|
stuff
|
2021-03-26 20:50:48 +02:00 |
