Pages that link to "Item:Q3677911"
From MaRDI portal
The following pages link to Fibered categories and the foundations of naive category theory (Q3677911):
Displayed 50 items.
- Fibred 2-categories and bicategories (Q393515) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- On completeness of locally-internal categories (Q1094523) (← links)
- A small complete category (Q1112159) (← links)
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic (Q1115868) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- Change of base for measure spaces (Q1295525) (← links)
- Some properties of Fib as a fibred \(2\)-category (Q1295672) (← links)
- Orbits and monoids in a topos (Q1318786) (← links)
- Proper maps of locales (Q1318788) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- Facets of descent. I (Q1332450) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- On the semantics of the universal quantifier (Q1371430) (← links)
- Wellfounded trees in categories (Q1577483) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- Descent theory of locally internal categories (Q1588061) (← links)
- The MacLane problem on set-theoretical foundations for the category theory (Q1592189) (← links)
- Splitting idempotents in a fibered setting (Q1756501) (← links)
- The calculus of ends over a base topos (Q1824682) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- Avoiding the axiom of choice in general category theory (Q1917386) (← links)
- Containers: Constructing strictly positive types (Q2566024) (← links)
- A compositional proof system on a category of labelled transition systems (Q2640340) (← links)
- Yoneda structures from 2-toposes (Q2643608) (← links)
- Joyal's arithmetic universes via type theory (Q2842826) (← links)
- Logic in Category Theory (Q2909761) (← links)
- The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories (Q3007659) (← links)
- Homotopy theoretic models of identity types (Q3598111) (← links)
- (Q3693678) (← links)
- (Q4322435) (← links)
- Internal type theory (Q4647575) (← links)
- A category-theoretic account of program modules (Q4713399) (← links)
- Functional completeness of the free locally Cartesian closed category and interpretations of Martin-Löf's theory of dependent types (Q4715672) (← links)
- Categorie variabili (Q4732602) (← links)
- A remark on the theory of semi-functors (Q4847309) (← links)
- Fibrations and recursivity (Q4850324) (← links)
- Equivalences between logics and their representing type theories (Q4862761) (← links)
- Categories with Families: Unityped, Simply Typed, and Dependently Typed (Q5014596) (← links)
- Coherence for bicategorical cartesian closed structure (Q5068207) (← links)
- A category-theoretic account of program modules (Q5096254) (← links)
- Dictoses (Q5096262) (← links)
- The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories – an Intuitionistic Perspective (Q5415629) (← links)
- The biequivalence of locally cartesian closed categories and Martin-Löf type theories (Q5740406) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- Distribution algebras and duality (Q5927533) (← links)
- From coherent structures to universal properties (Q5954120) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)
- On effective descent \(\mathcal{V}\)-functors and familial descent morphisms (Q6146488) (← links)