Cognotik | FunctorialMapping

⚙️ FunctorialMappingTaskExecutionConfigData.json

{
  "problem_statement": "Optimize global logistics routes",
  "source_category_definition": "Supply Chain Nodes and Shipping Lanes",
  "target_category_definition": "Weighted Directed Graphs",
  "functor_properties": "covariant"
}

→

👁️ Session UI (TabbedDisplay Output)

1. Categories 2. Functor 3. Transport ...

Formalizing Categories...

Source Category (C):
- Objects: {Ports, Warehouses}
- Morphisms: {Shipping Routes}

Target Category (D):
- Objects: {Vertices}
- Morphisms: {Edges with weights}

Test Workspace Browser

Explore the artifacts, transcripts, and category formalizations generated during task execution.

Execution Configuration

Field	Type	Description
`problem_statement` *	String	The specific problem in the Source Category to be solved.
`source_category_definition` *	String	The rules of the current domain (Source Category).
`target_category_definition` *	String	The rules of the destination domain (Target Category).
`functor_properties`	String	Constraints on the mapping (e.g., 'covariant', 'contravariant'). Default: `covariant`.

Embedded Execution (Kotlin)

To invoke this task programmatically using the Cognotik Harness:


import com.simiacryptus.cognotik.plan.tools.reasoning.FunctorialMappingTask.Companion.FunctorialMapping
import com.simiacryptus.cognotik.plan.tools.reasoning.FunctorialMappingTask.FunctorialMappingTaskExecutionConfigData

fun solveLogistics(harness: UnifiedHarness, projectDir: File) {
    val config = FunctorialMappingTaskExecutionConfigData(
        problem_statement = "Optimize global logistics routes",
        source_category_definition = "Supply Chain Nodes and Shipping Lanes",
        target_category_definition = "Weighted Directed Graphs",
        functor_properties = "covariant",
        task_description = "Logistics Optimization via Graph Theory"
    )

    harness.runTask(
        taskType = FunctorialMapping,
        typeConfig = TaskTypeConfig(name = "LogisticsSolver"),
        executionConfig = config,
        workspace = projectDir
    )
}

Prompt Segment

The following definition is injected into the agent's context:

FunctorialMapping - Translate problems from one category to another
  * problem_statement: The specific problem in the Source Category.
  * source_category_definition: The rules/objects of the current domain.
  * target_category_definition: The rules/objects of the destination domain.
  * functor_properties: Constraints on the mapping (e.g., 'covariant').
  * Use this for high-level reasoning, cross-domain analogies, and mathematical problem solving.

Formalizing Categories...

Test Workspace Browser

Execution Configuration

Task Process Lifecycle

Embedded Execution (Kotlin)

Prompt Segment