MATH
Login Or Sign up

List Question

15
72
Views

Models in categorical logic

Published on
#categorical-logic
48
Views

Is "points lift along surjections" equivalent to choice in the internal logic?

Published on
#category-theory #topos-theory #categorical-logic
115
Views

When sheafification functor is open

Published on
#category-theory #topos-theory #grothendieck-topologies #categorical-logic
161
Views

If logic/type theory/model theory don't depend on set theory

Published on
#logic #categorical-logic
84
Views

Counterexample to Frobenius reciprocity in a 1st-order classical hyperdoctrine?

Published on
#first-order-logic #categorical-logic
418
Views

Why is intuitionistic type theory without dependent types more powerful than Martin-Löf type theory?

Published on
#logic #type-theory #categorical-logic
112
Views

Existence of subobject classifier in Lawvere's ETCS

Published on
#category-theory #topos-theory #categorical-logic
73
Views

Proving the following is a equalizer by proving factorization for $1$ implies factorization for every object

Published on
#category-theory #topos-theory #categorical-logic
181
Views

Strong induction for natural number object

Published on
#category-theory #topos-theory #categorical-logic
64
Views

Which context weakening rules are derivable in this system of equational logic?

Published on
#proof-theory #categorical-logic
141
Views

Decidability of bi-cartesian closed categories

Published on
#monoidal-categories #categorical-logic #cartesian-closed-categories
137
Views

Universal property of the codomain fibration

Published on
#category-theory #universal-property #fibration #categorical-logic
35
Views

How does the universal property of the classifying category and generic algebra characterize them up to equivalence and isomorphism respectively?

Published on
#universal-algebra #universal-property #categorical-logic
174
Views

Why is coherence important in the LCCC interpretation of substitution in dependent type theory?

Published on
#logic #category-theory #type-theory #homotopy-type-theory #categorical-logic
237
Views

Why realizability topos instead of category of assemblies?

Published on
#topos-theory #constructive-mathematics #categorical-logic

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.