Cover Image

Homotopical inverse diagrams in categories with attributes

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kapulkin, Chris, Lumsdaine, Peter LeFanu
Format:	Preprint
Published:	2018
Subjects:	Logic Category Theory 03B15 Higher-order logic and type theory (primary), 03G30 Categorical logic, topoi, 18C50 Categorical semantics of formal languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Comparing semantic frameworks for dependently-sorted algebraic theories
by: Ahrens, Benedikt, et al.
Published: (2024)

Constructive reflectivity principles for regular theories
by: Forssell, Henrik, et al.
Published: (2016)

Makkai's lost proof of projectivity of N in the free topos
by: Forssell, Henrik, et al.
Published: (2026)

The homotopy theory of type theories
by: Kapulkin, Chris, et al.
Published: (2016)

Inferences Between Buridan’s Modal Propositions
by: Jonas Dagys
Published: (2022)

The Simplicial Model of Univalent Foundations (after Voevodsky)
by: Kapulkin, Chris, et al.
Published: (2012)

A foundation for deductive mathematics
by: Quinn, Frank
Published: (2021)

QEAVis: Quantitative Evaluation of Academic Websites Visibility
by: M. F. Verdejo
Published: (2009)

Sémantique formelle: Volume 1
by: Roussarie, Laurent
Published: (2018)

The Sorites Meets the Many
by: Ricardo Mena
Published: (2014)

Generalized Abstract Argumentation: A First-order Machinery towards Ontology Debugging
by: Martín O. Moguillansky
Published: (2010)

On foundations for deductive mathematics
by: Quinn, Frank
Published: (2024)

The role of categorization as a way of fidelity preservation in cultural transmission
by: José Henrique Pérez Rodríguez
Published: (2018)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Published: (2018)

Automated Reasoning
Published: (2024)

Automated Reasoning
Published: (2024)

Chapter Le marche di lista in russo. Segnali riformulativi, estensivi, generalizzanti… i vse takoe
by: Benigni, Valentina
Published: (2022)

DISCOURSES AND COEXISTENCE, INTERCULTURAL COHABITATION IN THE BELGIAN CITY OF VERVIERS
by: Jérémy Mandin
Published: (2012)

Frontiers of Combining Systems
Published: (2023)

A Counting Logic for Trees
by: Everardo Bárcenas
Published: (2015)

The First Rule of Stoic Logic and its Relationship with the Indemonstrables
by: Miguel López-Astorga
Published: (2016)

Beliefs about poverty related to social categorization in childhood
by: José Amar Amar
Published: (2015)

Performance analysis of Particle Swarm Optimization applied to unsupervised categorization of short texts
by: Leticia Cagnina
Published: (2011)

The Ultimate Number Domain of Complex Numbers: Fieldoid F; Higher-Order Categories and the Structural Ontology of the Self-Referential Universe
by: zhou, changzheng, et al.
Published: (2026)

Logics
Published: (2024)

Inquisitive Logic
by: Ciardelli, Ivano
Published: (2023)

Semantics and Pragmatics
Published: (2010)

Morality in Transition: Reassessing Ethics Beyond Kant
by: Das, Beauty
Published: (2025)

Higher Education Student Body Diversification as Glocal Practice
by: José Gerardo Alvarado
Published: (2012)

Text Categorization for Internet Content Filtering
by: José M. Gómez
Published: (2004)

Inovação e relações universidade-indústra em países de desenvolvimento intermédio
by: Luísa Oliveira
Published: (2008)

Bulletin of the Section of Logic
Published: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
Published: (2023)

Automated Deduction – CADE 29
Published: (2023)

The Relation Between Formal Validity and Epistemic Legitimacy in Modal Arguments with Strong Ontological Consequences
by: Kozłowski, Kornel
Published: (2026)

THE CONCEPT OF IDENTITY AND ITS STATUS IN SOCIAL PHILOSOPHY
by: Aitbayeva A.
Published: (2025)

Phase Transition of Logic: Experimental Observation of Logical Collapse in Transformer Hidden Spaces
by: Wang, Zhongren
Published: (2025)

Using Machine Learning for Extracting Information from Natural Disaster News Reports
by: Alberto Téllez Valero
Published: (2009)

Entrepreneurial Intention: Categorization, Classification of Constructs and Proposition of a Model
by: Fellipe Silva Martins
Published: (2019)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Published: (2018)