MATH
Login Or Sign up

List Question

15
433
Views

An $\omega$-categorical theory $T$ with no finite models is complete.

Published on
#logic #model-theory #categorical-logic
185
Views

Hyperdoctrines and Contravariance

Published on
#logic #category-theory #categorical-logic
146
Views

Sorting out what's true in the generic model in the classifying topos of a theory

Published on
#reference-request #soft-question #intuition #topos-theory #categorical-logic
1.4k
Views

Some reference for categorical logic?

Published on
#logic #reference-request #category-theory #categorical-logic
9.3k
Views

What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?

Published on
#logic #category-theory #formal-languages #topos-theory #categorical-logic
209
Views

Logic and adjunctions with ideals in ring theory

Published on
#ring-theory #commutative-algebra #adjoint-functors #categorical-logic
100
Views

Which limit sketches produce Grothendieck toposes?

Published on
#category-theory #topos-theory #categorical-logic #locally-presentable-categories
941
Views

The legitimacy of topos theory and intuitionism.

Published on
#foundations #philosophy #topos-theory #intuitionistic-logic #categorical-logic
129
Views

Syntactic category of a geometric theory has finite limits.

Published on
#logic #category-theory #first-order-logic #topos-theory #categorical-logic
170
Views

What is a logical formula in the language of categories? How can we express basic model theoretic concepts categorically?

Published on
#logic #reference-request #category-theory #model-theory #categorical-logic
61
Views

Defining truth in a topos model

Published on
#definition #topos-theory #categorical-logic
375
Views

How to express predicate logic in the categorical (monoidal) logics?

Published on
#category-theory #computer-science #predicate-logic #monoidal-categories #categorical-logic
94
Views

How to construct a regular functor from a categorical interpretation?

Published on
#logic #category-theory #categorical-logic
265
Views

Introduction and elimination rules for type-theoretic equalizers/coequalizers/pushforwards/pullbacks

Published on
#category-theory #type-theory #categorical-logic
34
Views

What does "full first-order logic" mean?

Published on
#topos-theory #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.