7 citations · 32 across the 24 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.AI2024
Intensional FOL: Many-Sorted Extension
Zoran Majkic
The concepts used in IFOL have associated to them a list of sorted attributes, and the sorts are the intensional concepts as well. The requirement to extend the unsorted IFOL (Inte…
math.GM2024
Category Theory: Symmetry Group of Comma-propagation Transformations
Zoran Majkic
In general, all constructions of algebraic topology are functorial; the notions of category, functor and natural transformation originated here. The arrow categories are more simpl…
math.GM2024
General Categorial Geometry and Algebraic Topology
Zoran Majkic
In Categorial Topology, given a category (as a "geometric object") we can consider its properties preserved under continuous action (a "deformation") of a comma-propagation operati…