Jul. 1st, 2017

(no subject)

Jul. 1st, 2017 04:36 pm
jcreed: (Default)
Trying to bash out a sketch of a proof that the Finster-Mimram definition of ω-categories has something to do with my recent guess of a definition. Finding out I haven't really internalized the definition of categories-with-families enough.
Tags:
  • Add Memory
  • Share This Entry

Profile

jcreed: (Default)
jcreed

August 2017

S M T W T F S
  12 3 4 5
6 78 9 101112
13 141516171819
20 21 2223 2425 26
27 28 2930 31  

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 27th, 2025 12:50 pm
Powered by Dreamwidth Studios