arXiv (All)
open access
A notion of semi-cubical tribe
The important notions our ideas revolve around are that of tribes, a class of categories aiming at modeling intensional type theory, and that of semi-cubical objects, for a category of cubes with symmetries and reversals. We introduce a general notion of $J$-tribes, tribes suitably enriched in presh
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- An abelian envelope without the quotient property#1123828
- Category theory and the foundations of mathematics: Philosophical excavations#751067
- An Historical Perspective on Duality and Category Theory: Hom is where the Heart is#111226
- Finite Presentability of Brin-Higman-Thompson Monoids via Free Jónsson-Tarski Algebras#1011947
- Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads#609931
Record · ID 973078
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive