as a purely formal tool
based formulation of the ontology of TGD Universe
Presheaf as a
generalization of the notion of set
logic defined by category
Category theory and
The ontology of
TGD is tripartistic
The new ontology
The new notion
of sub-system and notions of quantum presheaf and quantum logic
jump allow space-time description?
description of the basic categories related to the self
The category of
light cones, the construction of the configuration space
geometry, and the problem of psychological time
characterization of the basic categories and possible
picture about the category formed by the geometric correlates
related to self and quantum jump
in TGD framework
Logic and category
Is the logic of
conscious experience based on set theoretic inclusion or
space spinor fields define quantum logic and quantum topos?
and the modelling of aesthetic and ethical judgements
Platonism, Constructivism, and
Platonism and structuralism
The view about mathematics
inspired by TGD and TGD inspired theory of consciousness
Farey sequences, Riemann hypothesis, tangles, and TGD
The *-category of Hilbert spaces
The monoidal *-category of Hilbert spaces and its counterpart at the level of nCob
TQFT as a functor
The situation is in TGD framework
How to represent algebraic numbers as geometric objects?
Can one define complex numbers as cardinalities of sets?
In what sense a set can have cardinality -1?
Generalization of the notion of rig by replacing naturals with p-adic integers
Gerbes and TGD
How do 2-gerbes
emerge in TGD?
understand the replacement of 3-cycles with n-cycles?
graded-commutative algebra: can one express all gerbes as products of -1- and 0-gerbes?
interpretation of 2-gerbes in TGD framework
Appendix: Category theory and construction of