MATH
Login Or Sign up

List Question

15
75
Views

Models in categorical logic

Published on
#categorical-logic
49
Views

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

Published on
#category-theory #topos-theory #categorical-logic
116
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
85
Views

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

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

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

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

Existence of subobject classifier in Lawvere's ETCS

Published on
#category-theory #topos-theory #categorical-logic
74
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
183
Views

Strong induction for natural number object

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

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

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

Decidability of bi-cartesian closed categories

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

Universal property of the codomain fibration

Published on
#category-theory #universal-property #fibration #categorical-logic
49
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
175
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
254
Views

Why realizability topos instead of category of assemblies?

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

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.