get-category-axioms
Retrieve first-order logic axioms for category theory concepts like categories, functors, and natural transformations to support formal reasoning and verification.
Instructions
Get FOL axioms for category theory concepts.
Available concepts:
category: Composition, identity, associativity axioms
functor: Preserves composition and identity
natural-transformation: Naturality condition
monoid: Binary operation with identity and associativity
group: Monoid with inverses
Example: concept: "monoid" → Returns axioms for monoid structure
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| concept | Yes | Which concept's axioms to retrieve | |
| functor_name | No | For functor axioms: name of the functor (default: F) | |
| verbosity | No | Response verbosity: 'minimal' (token-efficient), 'standard' (default), 'detailed' (debug info) |