Cover Image

Constructive reflectivity principles for regular theories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Forssell, Henrik, Lumsdaine, Peter LeFanu
Format:	Preprint
Published:	2016
Subjects:	Logic Category Theory 03F65 Other constructive mathematics, 03G30 Categorical logic, topoi, 18C10 Categorical semantics of formal languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Homotopical inverse diagrams in categories with attributes
by: Kapulkin, Chris, et al.
Published: (2018)

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

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)

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

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

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)

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)

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

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

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)

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

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

A New Approach for Finding and Ranking Question – Answering Pairs in Community Question Answering
by: Van-Tu Nguyen
Published: (2018)

Evaluating the use of linguistic information in the pre-processing phase of Text Mining
by: Cassiana Fagundes da Silva
Published: (2005)

ANALYSIS OF THE PRODUCTION OF SOLID WASTE AND DETERMINATION OF PRODUCTION FACTORS IN THREE COLOMBIAN CITIES. A Proposal for a New Measurement Methodology
by: Álvaro Turriago Hoyos
Published: (2010)

Categorical structure in coherent theory of arithmetic
by: Ye, Lingyuan
Published: (2023)

Duality theory for categorical theories
by: Ye, Lingyuan
Published: (2026)

Double-functorial representation of regular monoidal structures
by: Siqueira, José
Published: (2025)

Improving SCImago Journal & Country Rank (SJR) subject classification through reference analysis
by: Gómez-Núñez, Antonio J., et al.
Published: (2011)

A precarização do emprego na Europa
by: Luísa Oliveira
Published: (2008)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
by: Hamkins, Joel David, et al.
Published: (2022)

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

Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)

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

Extending conceptual completeness via virtual ultracategories
by: Saadia, Gabriel
Published: (2025)

On the Existence and Disjunction Properties in Structural Set Theory
by: Saving, Mark
Published: (2023)

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

A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)

A $j$-translation with Kripke forcing relation
by: Nakata, Satoshi
Published: (2026)

Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)

A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)

Plenitudinous Urelements and the Definability of Cardinality
by: Yao, Bokai
Published: (2025)

Stack Representation of Finitely Presented Heyting Pretoposes I
by: Ye, Lingyuan
Published: (2024)